Skip to content

Actions: SkySkimmer/coq

Actions

GitHub macOS CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Redesign Goptions API GitHub macOS CI #4599: Commit e68c766 pushed by SkySkimmer
January 16, 2025 13:21 26m 37s goptions-redesign
goptions-redesign
January 16, 2025 13:21 26m 37s
Ltac redefinition support standard localities (default SuperGlobal + … GitHub macOS CI #4598: Commit 8771e5f pushed by SkySkimmer
January 16, 2025 13:18 25m 29s tac-redef-locality
tac-redef-locality
January 16, 2025 13:18 25m 29s
Merge PR #20052: Fix Rocq Proof Assistant -> Rocq Prover in rocq --ve… GitHub macOS CI #4597: Commit 118972a pushed by SkySkimmer
January 16, 2025 13:09 20m 54s master
master
January 16, 2025 13:09 20m 54s
overlay for relocatable mode GitHub macOS CI #4596: Commit 9500033 pushed by SkySkimmer
January 16, 2025 12:57 24m 18s configure-clean
configure-clean
January 16, 2025 12:57 24m 18s
Merge PR #20060: Stop storing the module path in modules. GitHub macOS CI #4595: Commit 7d4ec9e pushed by SkySkimmer
January 16, 2025 12:39 25m 21s master
master
January 16, 2025 12:39 25m 21s
dune autoconfigure -prefix based on workspace_root not project_root GitHub macOS CI #4594: Commit 801c88a pushed by SkySkimmer
January 15, 2025 14:02 24m 54s configure-clean-real
configure-clean-real
January 15, 2025 14:02 24m 54s
dune autoconfigure: use relocatable mode GitHub macOS CI #4593: Commit 30ba5be pushed by SkySkimmer
January 15, 2025 13:58 22m 0s configure-clean
configure-clean
January 15, 2025 13:58 22m 0s
configure: don't double source COQPREFIX GitHub macOS CI #4592: Commit ee7d0c0 pushed by SkySkimmer
January 15, 2025 12:22 32m 10s configure-clean-real
configure-clean-real
January 15, 2025 12:22 32m 10s
Merge PR #20053: Add rocq --print-version (same as `coqc --print-ve… GitHub macOS CI #4591: Commit 37cbf58 pushed by SkySkimmer
January 15, 2025 11:58 19m 43s master
master
January 15, 2025 11:58 19m 43s
Ltac redefinition support standard localities (default SuperGlobal) GitHub macOS CI #4590: Commit 851e3db pushed by SkySkimmer
January 14, 2025 16:57 28m 57s tac-redef-locality
tac-redef-locality
January 14, 2025 16:57 28m 57s
use profile files for timelog2html in bench GitHub macOS CI #4589: Commit 2860418 pushed by SkySkimmer
January 14, 2025 16:04 21m 43s coqprofreader
coqprofreader
January 14, 2025 16:04 21m 43s
configure: don't double source COQPREFIX GitHub macOS CI #4588: Commit f1893f3 pushed by SkySkimmer
January 14, 2025 16:04 27m 31s configure-clean-real
configure-clean-real
January 14, 2025 16:04 27m 31s
Merge PR #20050: Remove leftover dev tool from before the Platform. GitHub macOS CI #4587: Commit 818d1e0 pushed by SkySkimmer
January 14, 2025 16:03 28m 58s master
master
January 14, 2025 16:03 28m 58s
Add rocq --print-version (same as coqc --print-version) GitHub macOS CI #4586: Commit 3974246 pushed by SkySkimmer
January 14, 2025 15:55 26m 31s print-version
print-version
January 14, 2025 15:55 26m 31s
Redesign Goptions API GitHub macOS CI #4585: Commit a5148e7 pushed by SkySkimmer
January 14, 2025 15:07 12m 26s goptions-redesign
goptions-redesign
January 14, 2025 15:07 12m 26s
Merge PR #20027: Renaming Coq -> Rocq in user messages GitHub macOS CI #4584: Commit 1c962f3 pushed by SkySkimmer
January 14, 2025 12:54 22m 41s master
master
January 14, 2025 12:54 22m 41s
Rename coqide -> rocqide GitHub macOS CI #4583: Commit 686cc1f pushed by proux01
January 14, 2025 09:21 21m 32s rename-coqide
rename-coqide
January 14, 2025 09:21 21m 32s
reindent ppconstr GitHub macOS CI #4582: Commit ce25fa8 pushed by SkySkimmer
January 13, 2025 17:01 31m 45s ppconstr-indent
ppconstr-indent
January 13, 2025 17:01 31m 45s
More informative error from universe instance length mismatch GitHub macOS CI #4581: Commit 2856502 pushed by SkySkimmer
January 13, 2025 16:45 29m 37s instance-length-mismatch-error
instance-length-mismatch-error
January 13, 2025 16:45 29m 37s
Rename coqide -> rocqide GitHub macOS CI #4580: Commit 82771e2 pushed by SkySkimmer
January 13, 2025 16:32 20m 34s rename-coqide
rename-coqide
January 13, 2025 16:32 20m 34s
Rename coqide -> rocqide GitHub macOS CI #4579: Commit 41a6db4 pushed by SkySkimmer
January 13, 2025 16:22 24m 2s rename-coqide
rename-coqide
January 13, 2025 16:22 24m 2s
Rename coqide -> rocqide GitHub macOS CI #4578: Commit 823acb3 pushed by SkySkimmer
January 13, 2025 16:06 26m 12s rename-coqide
rename-coqide
January 13, 2025 16:06 26m 12s
Fix doc:refman:deploy GitHub macOS CI #4577: Commit 4f1f15b pushed by SkySkimmer
January 13, 2025 15:37 29m 38s fix-deploy
fix-deploy
January 13, 2025 15:37 29m 38s
use profile files for timelog2html in bench GitHub macOS CI #4576: Commit 1598141 pushed by SkySkimmer
January 13, 2025 13:56 24m 13s coqprofreader
coqprofreader
January 13, 2025 13:56 24m 13s
Add debug printers for hconstr, erelevance GitHub macOS CI #4575: Commit 4372e48 pushed by SkySkimmer
January 13, 2025 13:55 27m 24s add-debug-printers
add-debug-printers
January 13, 2025 13:55 27m 24s