Skip to content
Create ROBOT diffs on Pull requests

All equivalence axioms / logical defs must map to a pattern OR be explicitly approved #1770

Sign in to view logs

All equivalence axioms / logical defs must map to a pattern OR be explicitly approved

All equivalence axioms / logical defs must map to a pattern OR be explicitly approved #1770

Run time

Learn about OS pricing on GitHub Actions
Job Run time
branch_status
0s
classify_main
0s
classify_branch
0s
edit_file
0s
diff_classification
0s
post_comment
0s
0s