Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: ia0/rocq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Only accept SELF on the left for left-associative levels Check conflicts #15: Commit 9b4daa2 pushed by ia0
15s assoc
assoc
15s
Only accept SELF on the left for left-associative levels Github CI #15: Commit 9b4daa2 pushed by ia0
33m 51s assoc
assoc
33m 51s
Only accept SELF on the left for left-associative levels Github CI #14: Commit 5770eb0 pushed by proux01
34m 45s assoc
assoc
34m 45s
Only accept SELF on the left for left-associative levels Check conflicts #14: Commit 5770eb0 pushed by proux01
16s assoc
assoc
16s
Only accept SELF on the left for left-associative levels Github CI #13: Commit 7e02e7f pushed by ia0
33m 25s assoc
assoc
33m 25s
Only accept SELF on the left for left-associative levels Check conflicts #13: Commit 7e02e7f pushed by ia0
7s assoc
assoc
7s
Do not tolerate SELF on the left of right-associative levels Check conflicts #12: Commit 50fa395 pushed by ia0
8s assoc
assoc
8s
Do not tolerate SELF on the left of right-associative levels Github CI #12: Commit 50fa395 pushed by ia0
33m 52s assoc
assoc
33m 52s
Do not tolerate SELF on the left of right-associative levels Github CI #11: Commit 2273226 pushed by ia0
34m 54s assoc
assoc
34m 54s
Do not tolerate SELF on the left of right-associative levels Check conflicts #11: Commit 2273226 pushed by ia0
7s assoc
assoc
7s
Disable new warnings Check conflicts #10: Commit 42d0fb5 pushed by proux01
7s assoc
assoc
7s
Disable new warnings Github CI #10: Commit 42d0fb5 pushed by proux01
34m 16s assoc
assoc
34m 16s
Disable new warnings Github CI #9: Commit 6549f2f pushed by ia0
34m 9s assoc
assoc
34m 9s
Disable new warnings Check conflicts #9: Commit 6549f2f pushed by ia0
7s assoc
assoc
7s
Fix test suite (one way to do it) Github CI #8: Commit d8d3222 pushed by ia0
33m 24s assoc
assoc
33m 24s
Fix test suite (one way to do it) Check conflicts #8: Commit d8d3222 pushed by ia0
8s assoc
assoc
8s
Use output-coqtop to check for errors Github CI #7: Commit cb8a590 pushed by ia0
33m 3s assoc
assoc
33m 3s
Use output-coqtop to check for errors Check conflicts #7: Commit cb8a590 pushed by ia0
9s assoc
assoc
9s
Add proper output test Check conflicts #6: Commit 2da923a pushed by ia0
8s assoc
assoc
8s
Add proper output test Github CI #6: Commit 2da923a pushed by ia0
35m 2s assoc
assoc
35m 2s
cp Check conflicts #5: Commit 7af5faf pushed by ia0
9s assoc
assoc
9s
cp Github CI #5: Commit 7af5faf pushed by ia0
17m 44s assoc
assoc
17m 44s
Add test script Github CI #4: Commit 55358d3 pushed by ia0
39m 30s test-right-assoc
test-right-assoc
39m 30s
Add test script Check conflicts #4: Commit 55358d3 pushed by ia0
8s test-right-assoc
test-right-assoc
8s
Experiment: stricter associativity Github CI #3: Commit 4bb0141 pushed by ia0
44m 1s assoc
assoc
44m 1s