Skip to content

Actions: SkySkimmer/coq

Actions

GitHub macOS CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-macos.yml
2,157 workflow runs
2,157 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

"Warnings" and "Debug" options are synterp not interp GitHub macOS CI #4523: Commit c5fed9e pushed by SkySkimmer
January 2, 2025 21:16 28m 22s classify-warn
classify-warn
January 2, 2025 21:16 28m 22s
Fix step assignment with term sharing and partially applied function GitHub macOS CI #4522: Commit ca479e5 pushed by SkySkimmer
December 23, 2024 13:48 25m 40s lazy-stats
lazy-stats
December 23, 2024 13:48 25m 40s
Fix step assignment with term sharing and partially applied function GitHub macOS CI #4521: Commit 85c44a4 pushed by SkySkimmer
December 23, 2024 10:17 22m 18s lazy-stats
lazy-stats
December 23, 2024 10:17 22m 18s
Fix test suite coqdep outputs GitHub macOS CI #4520: Commit c026c9d pushed by SkySkimmer
December 23, 2024 08:30 15m 58s rocq-cli-dynlink
rocq-cli-dynlink
December 23, 2024 08:30 15m 58s
Remove unused "polyprop" argument in Evarsolve.get_type_of_refresh GitHub macOS CI #4519: Commit 43f3579 pushed by SkySkimmer
December 20, 2024 16:30 24m 23s template-poly-retype-sort-poly
template-poly-retype-sort-poly
December 20, 2024 16:30 24m 23s
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
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 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
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
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 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
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
Put back the doc section about rocq workmgr GitHub macOS CI #4510: Commit 4416b63 pushed by SkySkimmer
December 20, 2024 13:14 21m 42s workmgr-doc
workmgr-doc
December 20, 2024 13:14 21m 42s
More useful usage message for rocq GitHub macOS CI #4509: Commit 43f80b4 pushed by SkySkimmer
December 20, 2024 13:09 25m 43s rocq-help
rocq-help
December 20, 2024 13:09 25m 43s
Merge PR #19931: Stop relying on CClosure internals in ring protected… GitHub macOS CI #4508: Commit c280b34 pushed by SkySkimmer
December 20, 2024 12:02 23m 8s master
master
December 20, 2024 12:02 23m 8s
disable warnings in stdlib All.v GitHub macOS CI #4507: Commit 3fffbc0 pushed by SkySkimmer
December 19, 2024 16:42 26m 7s stdlib-all
stdlib-all
December 19, 2024 16:42 26m 7s
pretype template poly as though sort poly restricted to above_prop GitHub macOS CI #4506: Commit b06c0df pushed by SkySkimmer
December 19, 2024 16:21 27m 6s template-poly-pretype-sortpoly
template-poly-pretype-sortpoly
December 19, 2024 16:21 27m 6s
Separate pretyping of template poly from main loop pretyping GitHub macOS CI #4505: Commit e722755 pushed by SkySkimmer
December 19, 2024 16:21 26m 48s template-poly-separate-pretype
template-poly-separate-pretype
December 19, 2024 16:21 26m 48s
Merge PR #19938: coq_makefile produce timing info for coqdep GitHub macOS CI #4504: Commit f64f690 pushed by SkySkimmer
December 19, 2024 15:26 25m 46s master
master
December 19, 2024 15:26 25m 46s
Separate pretyping of template poly from main loop pretyping GitHub macOS CI #4503: Commit 08b860c pushed by SkySkimmer
December 19, 2024 15:18 27m 50s template-poly-separate-pretype
template-poly-separate-pretype
December 19, 2024 15:18 27m 50s
CI: validate jobs also check stdlib GitHub macOS CI #4502: Commit b5c14e8 pushed by SkySkimmer
December 19, 2024 12:42 24m 56s validate-stdlib
validate-stdlib
December 19, 2024 12:42 24m 56s
stdlib use custom wrapper to avoid depending on coq-core GitHub macOS CI #4501: Commit d8f3879 pushed by SkySkimmer
December 19, 2024 12:30 24m 45s stdlib-no-coq
stdlib-no-coq
December 19, 2024 12:30 24m 45s
CI: validate jobs also check stdlib GitHub macOS CI #4500: Commit 6f1767d pushed by SkySkimmer
December 19, 2024 12:22 21m 10s validate-stdlib
validate-stdlib
December 19, 2024 12:22 21m 10s
Merge PR #19943: GADT-based representation of module / module types. GitHub macOS CI #4499: Commit 734ec43 pushed by SkySkimmer
December 19, 2024 12:10 28m 36s master
master
December 19, 2024 12:10 28m 36s