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

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
Fix debug printer on binder with evars GitHub macOS CI #4574: Commit 995177d pushed by SkySkimmer
January 13, 2025 13:39 19m 45s debug-print-fix
debug-print-fix
January 13, 2025 13:39 19m 45s
Rename coqide -> rocqide GitHub macOS CI #4573: Commit 14f6f76 pushed by SkySkimmer
January 13, 2025 13:33 26m 27s rename-coqide
rename-coqide
January 13, 2025 13:33 26m 27s
Rename coqide -> rocqide GitHub macOS CI #4572: Commit 0f46d4f pushed by SkySkimmer
January 13, 2025 13:33 10m 23s rename-coqide
rename-coqide
January 13, 2025 13:33 10m 23s
Rename coqide -> rocqide GitHub macOS CI #4571: Commit 4c6a3ea pushed by SkySkimmer
January 13, 2025 13:29 13m 23s rename-coqide
rename-coqide
January 13, 2025 13:29 13m 23s
Merge PR #19975: Give Stdlib its own repository GitHub macOS CI #4570: Commit c4ea8b1 pushed by SkySkimmer
January 13, 2025 12:55 28m 34s master
master
January 13, 2025 12:55 28m 34s
Fix with-rocq-wrap on cygwin GitHub macOS CI #4569: Commit 0538fe4 pushed by SkySkimmer
January 12, 2025 14:27 22m 52s fix-wrapper-again
fix-wrapper-again
January 12, 2025 14:27 22m 52s
Remove Detyping.Now from constrextern (mistakenly committed) GitHub macOS CI #4568: Commit 2fc7e41 pushed by SkySkimmer
January 12, 2025 13:05 19m 53s extern-later
extern-later
January 12, 2025 13:05 19m 53s