Skip to content

Actions: SkySkimmer/coq

Actions

Windows CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

"Warnings" and "Debug" options are synterp not interp Windows CI #4372: Commit 6f77387 pushed by SkySkimmer
January 7, 2025 17:08 47m 18s classify-warn
classify-warn
January 7, 2025 17:08 47m 18s
Windows CI Windows CI #4371: by SkySkimmer
January 7, 2025 15:34 6h 0m 27s inductive-error
inductive-error
January 7, 2025 15:34 6h 0m 27s
Windows CI Windows CI #4370: by SkySkimmer
January 7, 2025 14:49 47m 11s string-value
string-value
January 7, 2025 14:49 47m 11s
More informative print for inductive missing constraints error Windows CI #4369: Commit b21fedc pushed by SkySkimmer
January 7, 2025 12:37 1h 3m 19s inductive-error
inductive-error
January 7, 2025 12:37 1h 3m 19s
add currently failing tests Windows CI #4368: Commit 8fd19de pushed by SkySkimmer
January 7, 2025 12:28 54m 54s cominductive-lbound
cominductive-lbound
January 7, 2025 12:28 54m 54s
Remove unused "polyprop" argument in Evarsolve.get_type_of_refresh Windows CI #4367: Commit dc0abb7 pushed by SkySkimmer
January 7, 2025 12:19 1h 3m 51s template-poly-retype-sort-poly
template-poly-retype-sort-poly
January 7, 2025 12:19 1h 3m 51s
Merge PR #19769: Fixes #17314: Tactic unification may leave unbound d… Windows CI #4366: Commit 003b300 pushed by SkySkimmer
January 7, 2025 12:19 1h 2m 10s master
master
January 7, 2025 12:19 1h 2m 10s
Merge PR #19958: CI: validate jobs also check stdlib Windows CI #4365: Commit 253e9af pushed by SkySkimmer
January 6, 2025 16:45 57m 47s master
master
January 6, 2025 16:45 57m 47s
Cleanup "lbound" arguments which are always Set Windows CI #4364: Commit 02cd67a pushed by SkySkimmer
January 6, 2025 16:44 1h 4m 31s cominductive-lbound
cominductive-lbound
January 6, 2025 16:44 1h 4m 31s
rename coqworker -> rocqworker Windows CI #4363: Commit b76eea2 pushed by SkySkimmer
January 6, 2025 12:39 56m 53s rocqworker
rocqworker
January 6, 2025 12:39 56m 53s
Merge PR #19979: Rocquify usage messages Windows CI #4362: Commit 863ecc9 pushed by SkySkimmer
January 6, 2025 12:38 1h 13m 17s master
master
January 6, 2025 12:38 1h 13m 17s
"Warnings" and "Debug" options are synterp not interp Windows CI #4361: Commit c5fed9e pushed by SkySkimmer
January 2, 2025 21:16 55m 43s classify-warn
classify-warn
January 2, 2025 21:16 55m 43s
Fix step assignment with term sharing and partially applied function Windows CI #4360: Commit ca479e5 pushed by SkySkimmer
December 23, 2024 13:48 57m 31s lazy-stats
lazy-stats
December 23, 2024 13:48 57m 31s
Fix step assignment with term sharing and partially applied function Windows CI #4359: Commit 85c44a4 pushed by SkySkimmer
December 23, 2024 10:17 1h 1m 38s lazy-stats
lazy-stats
December 23, 2024 10:17 1h 1m 38s
Fix test suite coqdep outputs Windows CI #4358: Commit c026c9d pushed by SkySkimmer
December 23, 2024 08:30 48m 37s rocq-cli-dynlink
rocq-cli-dynlink
December 23, 2024 08:30 48m 37s
Remove unused "polyprop" argument in Evarsolve.get_type_of_refresh Windows CI #4357: Commit 43f3579 pushed by SkySkimmer
December 20, 2024 16:30 55m 52s template-poly-retype-sort-poly
template-poly-retype-sort-poly
December 20, 2024 16:30 55m 52s
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
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 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
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
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
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
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
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
Put back the doc section about rocq workmgr Windows CI #4348: Commit 4416b63 pushed by SkySkimmer
December 20, 2024 13:14 1h 3m 43s workmgr-doc
workmgr-doc
December 20, 2024 13:14 1h 3m 43s