Skip to content

Actions: SkySkimmer/coq

Actions

Windows CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-windows.yml
2,182 workflow runs
2,182 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Ltac redefinition support standard localities (default SuperGlobal) Windows CI #4428: Commit 851e3db pushed by SkySkimmer
January 14, 2025 16:57 46m 43s tac-redef-locality
tac-redef-locality
January 14, 2025 16:57 46m 43s
use profile files for timelog2html in bench Windows CI #4427: Commit 2860418 pushed by SkySkimmer
January 14, 2025 16:04 6h 0m 29s coqprofreader
coqprofreader
January 14, 2025 16:04 6h 0m 29s
configure: don't double source COQPREFIX Windows CI #4426: Commit f1893f3 pushed by SkySkimmer
January 14, 2025 16:04 50m 34s configure-clean-real
configure-clean-real
January 14, 2025 16:04 50m 34s
Merge PR #20050: Remove leftover dev tool from before the Platform. Windows CI #4425: Commit 818d1e0 pushed by SkySkimmer
January 14, 2025 16:03 1h 28m 18s master
master
January 14, 2025 16:03 1h 28m 18s
Add rocq --print-version (same as coqc --print-version) Windows CI #4424: Commit 3974246 pushed by SkySkimmer
January 14, 2025 15:55 1h 5m 51s print-version
print-version
January 14, 2025 15:55 1h 5m 51s
Redesign Goptions API Windows CI #4423: Commit a5148e7 pushed by SkySkimmer
January 14, 2025 15:07 6h 0m 27s goptions-redesign
goptions-redesign
January 14, 2025 15:07 6h 0m 27s
Merge PR #20027: Renaming Coq -> Rocq in user messages Windows CI #4422: Commit 1c962f3 pushed by SkySkimmer
January 14, 2025 12:54 1h 1m 31s master
master
January 14, 2025 12:54 1h 1m 31s
Rename coqide -> rocqide Windows CI #4421: Commit 686cc1f pushed by proux01
January 14, 2025 09:21 1h 3m 12s rename-coqide
rename-coqide
January 14, 2025 09:21 1h 3m 12s
reindent ppconstr Windows CI #4420: Commit ce25fa8 pushed by SkySkimmer
January 13, 2025 17:01 6h 0m 27s ppconstr-indent
ppconstr-indent
January 13, 2025 17:01 6h 0m 27s
More informative error from universe instance length mismatch Windows CI #4419: Commit 2856502 pushed by SkySkimmer
January 13, 2025 16:45 1h 3m 1s instance-length-mismatch-error
instance-length-mismatch-error
January 13, 2025 16:45 1h 3m 1s
Rename coqide -> rocqide Windows CI #4418: Commit 82771e2 pushed by SkySkimmer
January 13, 2025 16:32 1h 12m 28s rename-coqide
rename-coqide
January 13, 2025 16:32 1h 12m 28s
Rename coqide -> rocqide Windows CI #4417: Commit 41a6db4 pushed by SkySkimmer
January 13, 2025 16:22 1h 4m 55s rename-coqide
rename-coqide
January 13, 2025 16:22 1h 4m 55s
Rename coqide -> rocqide Windows CI #4416: Commit 823acb3 pushed by SkySkimmer
January 13, 2025 16:06 58m 52s rename-coqide
rename-coqide
January 13, 2025 16:06 58m 52s
Fix doc:refman:deploy Windows CI #4415: Commit 4f1f15b pushed by SkySkimmer
January 13, 2025 15:37 1h 2m 45s fix-deploy
fix-deploy
January 13, 2025 15:37 1h 2m 45s
use profile files for timelog2html in bench Windows CI #4414: Commit 1598141 pushed by SkySkimmer
January 13, 2025 13:56 6h 0m 29s coqprofreader
coqprofreader
January 13, 2025 13:56 6h 0m 29s
Add debug printers for hconstr, erelevance Windows CI #4413: Commit 4372e48 pushed by SkySkimmer
January 13, 2025 13:55 49m 53s add-debug-printers
add-debug-printers
January 13, 2025 13:55 49m 53s
Fix debug printer on binder with evars Windows CI #4412: Commit 995177d pushed by SkySkimmer
January 13, 2025 13:39 54m 54s debug-print-fix
debug-print-fix
January 13, 2025 13:39 54m 54s
Rename coqide -> rocqide Windows CI #4411: Commit 14f6f76 pushed by SkySkimmer
January 13, 2025 13:33 1h 11m 45s rename-coqide
rename-coqide
January 13, 2025 13:33 1h 11m 45s
Rename coqide -> rocqide Windows CI #4410: Commit 0f46d4f pushed by SkySkimmer
January 13, 2025 13:33 1h 0m 1s rename-coqide
rename-coqide
January 13, 2025 13:33 1h 0m 1s
Rename coqide -> rocqide Windows CI #4409: Commit 4c6a3ea pushed by SkySkimmer
January 13, 2025 13:29 1h 13m 49s rename-coqide
rename-coqide
January 13, 2025 13:29 1h 13m 49s
Merge PR #19975: Give Stdlib its own repository Windows CI #4408: Commit c4ea8b1 pushed by SkySkimmer
January 13, 2025 12:55 1h 13m 6s master
master
January 13, 2025 12:55 1h 13m 6s
Fix with-rocq-wrap on cygwin Windows CI #4407: Commit 0538fe4 pushed by SkySkimmer
January 12, 2025 14:27 51m 52s fix-wrapper-again
fix-wrapper-again
January 12, 2025 14:27 51m 52s
Remove Detyping.Now from constrextern (mistakenly committed) Windows CI #4406: Commit 2fc7e41 pushed by SkySkimmer
January 12, 2025 13:05 53m 3s extern-later
extern-later
January 12, 2025 13:05 53m 3s
Fix missing match cases for prim strings in notation.ml Windows CI #4405: Commit c0d07d5 pushed by SkySkimmer
January 12, 2025 13:03 37m 5s notation-prim-string
notation-prim-string
January 12, 2025 13:03 37m 5s
test suite printers test ignore welcome message Windows CI #4404: Commit 52414f2 pushed by SkySkimmer
January 10, 2025 17:32 54m 35s printers-grepv-welcome
printers-grepv-welcome
January 10, 2025 17:32 54m 35s