Skip to content

Actions: SkySkimmer/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6,802 workflow runs
6,802 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove unused "polyprop" argument in Evarsolve.get_type_of_refresh Check conflicts #6165: Commit 43f3579 pushed by SkySkimmer
December 20, 2024 16:30 11s template-poly-retype-sort-poly
template-poly-retype-sort-poly
December 20, 2024 16:30 11s
Remove unused "polyprop" argument in Evarsolve.get_type_of_refresh Windows CI #4356: Commit d1363f7 pushed by SkySkimmer
December 20, 2024 16:16 56m 24s template-poly-retype-sort-poly
template-poly-retype-sort-poly
December 20, 2024 16:16 56m 24s
Remove unused "polyprop" argument in Evarsolve.get_type_of_refresh GitHub macOS CI #4518: Commit d1363f7 pushed by SkySkimmer
December 20, 2024 16:16 23m 40s template-poly-retype-sort-poly
template-poly-retype-sort-poly
December 20, 2024 16:16 23m 40s
Remove unused "polyprop" argument in Evarsolve.get_type_of_refresh Check conflicts #6164: Commit d1363f7 pushed by SkySkimmer
December 20, 2024 16:16 12s template-poly-retype-sort-poly
template-poly-retype-sort-poly
December 20, 2024 16:16 12s
Fix debug printer on binder with evars Windows CI #4355: Commit f33d20f pushed by SkySkimmer
December 20, 2024 15:04 1h 2m 47s debug-print-fix
debug-print-fix
December 20, 2024 15:04 1h 2m 47s
Fix debug printer on binder with evars GitHub macOS CI #4517: Commit f33d20f pushed by SkySkimmer
December 20, 2024 15:04 29m 47s debug-print-fix
debug-print-fix
December 20, 2024 15:04 29m 47s
Fix debug printer on binder with evars Check conflicts #6163: Commit f33d20f pushed by SkySkimmer
December 20, 2024 15:04 11s debug-print-fix
debug-print-fix
December 20, 2024 15:04 11s
Fix debug printer on binder with evars GitHub macOS CI #4516: Commit 50bfd2d pushed by SkySkimmer
December 20, 2024 15:02 22m 35s debug-print-fix
debug-print-fix
December 20, 2024 15:02 22m 35s
Fix debug printer on binder with evars Windows CI #4354: Commit 50bfd2d pushed by SkySkimmer
December 20, 2024 15:02 56m 4s debug-print-fix
debug-print-fix
December 20, 2024 15:02 56m 4s
Fix debug printer on binder with evars Check conflicts #6162: Commit 50bfd2d pushed by SkySkimmer
December 20, 2024 15:02 15s debug-print-fix
debug-print-fix
December 20, 2024 15:02 15s
pretype template poly as though sort poly restricted to above_prop GitHub macOS CI #4515: Commit a321877 pushed by SkySkimmer
December 20, 2024 14:43 28m 15s template-poly-pretype-sortpoly
template-poly-pretype-sortpoly
December 20, 2024 14:43 28m 15s
pretype template poly as though sort poly restricted to above_prop Windows CI #4353: Commit a321877 pushed by SkySkimmer
December 20, 2024 14:43 1h 2m 34s template-poly-pretype-sortpoly
template-poly-pretype-sortpoly
December 20, 2024 14:43 1h 2m 34s
pretype template poly as though sort poly restricted to above_prop Check conflicts #6161: Commit a321877 pushed by SkySkimmer
December 20, 2024 14:43 15s template-poly-pretype-sortpoly
template-poly-pretype-sortpoly
December 20, 2024 14:43 15s
Rename default install location (lib/coq -> lib/rocq) Check conflicts #6160: Commit 8ed148b pushed by SkySkimmer
December 20, 2024 13:48 10s default-coqlib-rocq
default-coqlib-rocq
December 20, 2024 13:48 10s
Rename default install location (lib/coq -> lib/rocq) Windows CI #4352: Commit 8ed148b pushed by SkySkimmer
December 20, 2024 13:48 55m 53s default-coqlib-rocq
default-coqlib-rocq
December 20, 2024 13:48 55m 53s
Rename default install location (lib/coq -> lib/rocq) GitHub macOS CI #4514: Commit 8ed148b pushed by SkySkimmer
December 20, 2024 13:48 26m 44s default-coqlib-rocq
default-coqlib-rocq
December 20, 2024 13:48 26m 44s
Merge PR #19933: Give location for unbound univ error Windows CI #4351: Commit ee6fffd pushed by SkySkimmer
December 20, 2024 13:32 58m 50s master
master
December 20, 2024 13:32 58m 50s
Merge PR #19933: Give location for unbound univ error Check conflicts #6159: Commit ee6fffd pushed by SkySkimmer
December 20, 2024 13:32 12s master
master
December 20, 2024 13:32 12s
Merge PR #19933: Give location for unbound univ error GitHub macOS CI #4513: Commit ee6fffd pushed by SkySkimmer
December 20, 2024 13:32 25m 10s master
master
December 20, 2024 13:32 25m 10s
Rename default install location (lib/coq -> lib/rocq) GitHub macOS CI #4512: Commit f42f3b9 pushed by SkySkimmer
December 20, 2024 13:28 14m 35s default-coqlib-rocq
default-coqlib-rocq
December 20, 2024 13:28 14m 35s
Rename default install location (lib/coq -> lib/rocq) Windows CI #4350: Commit f42f3b9 pushed by SkySkimmer
December 20, 2024 13:28 51m 42s default-coqlib-rocq
default-coqlib-rocq
December 20, 2024 13:28 51m 42s
Rename default install location (lib/coq -> lib/rocq) Check conflicts #6158: Commit f42f3b9 pushed by SkySkimmer
December 20, 2024 13:28 10s default-coqlib-rocq
default-coqlib-rocq
December 20, 2024 13:28 10s
Don't duplicate timing table for ci-stdlib_test Check conflicts #6157: Commit 95aef69 pushed by SkySkimmer
December 20, 2024 13:17 10s stdlib-test-timing
stdlib-test-timing
December 20, 2024 13:17 10s
Don't duplicate timing table for ci-stdlib_test GitHub macOS CI #4511: Commit 95aef69 pushed by SkySkimmer
December 20, 2024 13:17 21m 35s stdlib-test-timing
stdlib-test-timing
December 20, 2024 13:17 21m 35s
Don't duplicate timing table for ci-stdlib_test Windows CI #4349: Commit 95aef69 pushed by SkySkimmer
December 20, 2024 13:17 1h 1m 6s stdlib-test-timing
stdlib-test-timing
December 20, 2024 13:17 1h 1m 6s