Skip to content

Actions: SkySkimmer/coq

Actions

Windows CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI: validate jobs also check stdlib Windows CI #4333: Commit a2c1c2a pushed by SkySkimmer
December 18, 2024 14:53 58m 5s validate-stdlib
validate-stdlib
December 18, 2024 14:53 58m 5s
assign delta steps to the context with the unfolded ref Windows CI #4332: Commit 4e68b02 pushed by SkySkimmer
December 18, 2024 14:38 52m 53s lazy-stats
lazy-stats
December 18, 2024 14:38 52m 53s
env vars: try reading ROCQRUNTIMELIB and ROCQLIB before COQCORELIB / … Windows CI #4331: Commit 47374f9 pushed by SkySkimmer
December 18, 2024 14:26 1h 3m 30s rocq-env-vars
rocq-env-vars
December 18, 2024 14:26 1h 3m 30s
Put back the doc section about rocq workmgr Windows CI #4330: Commit 08341a0 pushed by SkySkimmer
December 18, 2024 14:23 1h 2m 35s workmgr-doc
workmgr-doc
December 18, 2024 14:23 1h 2m 35s
disable warnings in stdlib All.v Windows CI #4329: Commit 7e0978c pushed by SkySkimmer
December 18, 2024 14:18 55m 56s stdlib-all
stdlib-all
December 18, 2024 14:18 55m 56s
rename coqworker -> rocqworker Windows CI #4328: Commit 5ecb2b3 pushed by SkySkimmer
December 18, 2024 14:17 1h 3m 33s rocqworker
rocqworker
December 18, 2024 14:17 1h 3m 33s
Merge PR #19946: Remove warning "overwriting-delimiting-key" Windows CI #4327: Commit 4feee16 pushed by SkySkimmer
December 18, 2024 14:15 56m 30s master
master
December 18, 2024 14:15 56m 30s
assign delta steps to the context with the unfolded ref Windows CI #4326: Commit 0827e4f pushed by SkySkimmer
December 18, 2024 14:04 56m 24s lazy-stats
lazy-stats
December 18, 2024 14:04 56m 24s
Create HintDb does not erase pre-existing hint db Windows CI #4325: Commit c56f115 pushed by SkySkimmer
December 18, 2024 14:01 50m 24s create-hintdb
create-hintdb
December 18, 2024 14:01 50m 24s
Apply suggestions from code review Windows CI #4324: Commit 278a2aa pushed by SkySkimmer
December 18, 2024 13:51 54m 40s create-hintdb
create-hintdb
December 18, 2024 13:51 54m 40s
env vars: try reading ROCQRUNTIMELIB and ROCQLIB before COQCORELIB / … Windows CI #4323: Commit afc9146 pushed by SkySkimmer
December 18, 2024 13:48 58m 27s rocq-env-vars
rocq-env-vars
December 18, 2024 13:48 58m 27s
Stop reading env var COQ_CONFIGURE_PREFIX Windows CI #4322: Commit 11508e3 pushed by SkySkimmer
December 18, 2024 13:44 1h 4m 13s no-conf-prefix
no-conf-prefix
December 18, 2024 13:44 1h 4m 13s
Basic manpage for rocq Windows CI #4321: Commit 5dd3926 pushed by SkySkimmer
December 18, 2024 13:33 1h 0m 47s rocq-man
rocq-man
December 18, 2024 13:33 1h 0m 47s
env vars: try reading ROCQRUNTIMELIB and ROCQLIB before COQCORELIB / … Windows CI #4320: Commit 914bc75 pushed by SkySkimmer
December 18, 2024 13:16 1h 2m 29s rocq-env-vars
rocq-env-vars
December 18, 2024 13:16 1h 2m 29s
Stop reading env var COQ_CONFIGURE_PREFIX Windows CI #4319: Commit 2b1ea18 pushed by SkySkimmer
December 18, 2024 12:44 44m 32s no-conf-prefix
no-conf-prefix
December 18, 2024 12:44 44m 32s
stdlib use custom wrapper to avoid depending on coq-core Windows CI #4318: Commit 81172bc pushed by SkySkimmer
December 18, 2024 12:30 59m 36s stdlib-no-coq
stdlib-no-coq
December 18, 2024 12:30 59m 36s
stdlib use custom wrapper to avoid depending on coq-core Windows CI #4317: Commit 9143d01 pushed by SkySkimmer
December 18, 2024 12:29 1h 3m 20s stdlib-no-coq
stdlib-no-coq
December 18, 2024 12:29 1h 3m 20s
rename coqworker -> rocqworker Windows CI #4316: Commit fb85ff4 pushed by SkySkimmer
December 18, 2024 12:15 1h 1m 6s rocqworker
rocqworker
December 18, 2024 12:15 1h 1m 6s
Fix missing checks in stdlib test suite Windows CI #4315: Commit 7a62178 pushed by SkySkimmer
December 18, 2024 12:09 1h 14m 36s fix-stdlib-test
fix-stdlib-test
December 18, 2024 12:09 1h 14m 36s
Ltac2: add Char.of_int_opt Windows CI #4314: Commit 62574f7 pushed by SkySkimmer
December 18, 2024 11:39 1h 3m 34s ltac2-char-int-opt
ltac2-char-int-opt
December 18, 2024 11:39 1h 3m 34s
coq_makefile produce timing info for coqdep Windows CI #4313: Commit 093dd6e pushed by SkySkimmer
December 18, 2024 11:35 57m 48s coqdep-time
coqdep-time
December 18, 2024 11:35 57m 48s
CI: disable bin_annot (for smaller artifacts) Windows CI #4312: Commit fc9eb92 pushed by SkySkimmer
December 18, 2024 11:34 46m 41s ci-no-bin-annot
ci-no-bin-annot
December 18, 2024 11:34 46m 41s
disable warnings for each Require Windows CI #4311: Commit a4a2903 pushed by SkySkimmer
December 18, 2024 11:26 58m 34s stdlib-all
stdlib-all
December 18, 2024 11:26 58m 34s
Merge PR #19947: Link wiki page about ocamldebug in build-system.md Windows CI #4310: Commit eafed8f pushed by SkySkimmer
December 18, 2024 11:23 46m 56s master
master
December 18, 2024 11:23 46m 56s
Remove warning "overwriting-delimiting-key" Windows CI #4309: Commit f2e74ad pushed by proux01
December 18, 2024 11:04 36m 36s delimit-multikey
delimit-multikey
December 18, 2024 11:04 36m 36s