Skip to content

Actions: coq/coq

Actions

Windows CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-windows.yml
5,916 workflow runs
5,916 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Replace el_shft with el_popn Windows CI #11671: Pull request #19410 opened by yannl35133
July 22, 2024 15:51 51m 22s Yann-Leray:lift-pop
Yann-Leray:lift-pop
July 22, 2024 15:51 51m 22s
Rename Coq requirement prefix to Stdlib Windows CI #11670: Pull request #19310 synchronize by proux01
July 22, 2024 15:34 48m 35s proux01:stdlib-logical-name
proux01:stdlib-logical-name
July 22, 2024 15:34 48m 35s
Merge PR #19405: Fix VM implementation of addmuldiv for large shifts … Windows CI #11669: Commit 43402d4 pushed by coqbot-app bot
July 22, 2024 14:39 46m 59s master
master
July 22, 2024 14:39 46m 59s
Bench: don't print CPU cycles in table Windows CI #11668: Pull request #19409 synchronize by SkySkimmer
July 22, 2024 14:34 48m 5s SkySkimmer:bench-no-cycles
SkySkimmer:bench-no-cycles
July 22, 2024 14:34 48m 5s
Bench: don't print CPU cycles in table Windows CI #11667: Pull request #19409 opened by SkySkimmer
July 22, 2024 14:32 40m 33s SkySkimmer:bench-no-cycles
SkySkimmer:bench-no-cycles
July 22, 2024 14:32 40m 33s
Cleanup UState universe demoting APIs Windows CI #11666: Pull request #19384 synchronize by SkySkimmer
July 22, 2024 13:53 1h 10m 26s SkySkimmer:more-demote
SkySkimmer:more-demote
July 22, 2024 13:53 1h 10m 26s
Rename Evd.evar_universe_context -> ustate Windows CI #11665: Pull request #19398 synchronize by SkySkimmer
July 22, 2024 13:50 1h 5m 10s SkySkimmer:evd-ustate
SkySkimmer:evd-ustate
July 22, 2024 13:50 1h 5m 10s
Show Universes print weak above_prop constraints (used by minimization) Windows CI #11664: Pull request #19403 synchronize by SkySkimmer
July 22, 2024 13:35 45m 20s SkySkimmer:pr-minim-above-prop
SkySkimmer:pr-minim-above-prop
July 22, 2024 13:35 45m 20s
Cache evar expansions in to_constr Windows CI #11663: Pull request #19408 opened by SkySkimmer
July 22, 2024 13:27 47m 36s SkySkimmer:evc-cache
SkySkimmer:evc-cache
July 22, 2024 13:27 47m 36s
Bench: system to override opam urls Windows CI #11662: Pull request #19400 synchronize by SkySkimmer
July 22, 2024 12:51 1h 3m 12s SkySkimmer:bench-pins
SkySkimmer:bench-pins
July 22, 2024 12:51 1h 3m 12s
Bench: system to override opam urls Windows CI #11661: Pull request #19400 synchronize by SkySkimmer
July 22, 2024 12:50 1h 12m 21s SkySkimmer:bench-pins
SkySkimmer:bench-pins
July 22, 2024 12:50 1h 12m 21s
Bench: system to override opam urls Windows CI #11660: Pull request #19400 synchronize by SkySkimmer
July 22, 2024 12:39 37m 34s SkySkimmer:bench-pins
SkySkimmer:bench-pins
July 22, 2024 12:39 37m 34s
Bench: system to override opam urls Windows CI #11659: Pull request #19400 synchronize by SkySkimmer
July 22, 2024 12:07 1h 0m 23s SkySkimmer:bench-pins
SkySkimmer:bench-pins
July 22, 2024 12:07 1h 0m 23s
Bench: system to override opam urls Windows CI #11658: Pull request #19400 synchronize by SkySkimmer
July 22, 2024 11:18 1h 41m 13s SkySkimmer:bench-pins
SkySkimmer:bench-pins
July 22, 2024 11:18 1h 41m 13s
Merge PR #19399: done with simple refine Windows CI #11657: Commit 4b52a0d pushed by coqbot-app bot
July 22, 2024 10:55 37m 37s master
master
July 22, 2024 10:55 37m 37s
Fix VM implementation of addmuldiv for large shifts (fix #19402). Windows CI #11656: Pull request #19405 synchronize by silene
July 22, 2024 09:06 49m 55s silene:addmuldiv
silene:addmuldiv
July 22, 2024 09:06 49m 55s
Avoid allocating a new term when already whnf in Reductionops.whd_betaiota and whd_beta Windows CI #11655: Pull request #19406 synchronize by SkySkimmer
July 22, 2024 07:07 53m 44s SkySkimmer:careful-whnf-betaiota
SkySkimmer:careful-whnf-betaiota
July 22, 2024 07:07 53m 44s
done with simple refine Windows CI #11654: Pull request #19399 synchronize by Tragicus
July 22, 2024 06:48 44m 50s Tragicus:done
Tragicus:done
July 22, 2024 06:48 44m 50s
Adding -L option to CoqProject for recursively building and importing dependencies Windows CI #11653: Pull request #19407 synchronize by Durbatuluk1701
July 22, 2024 01:46 42m 30s Durbatuluk1701:l_coq_project_option
Durbatuluk1701:l_coq_project_option
July 22, 2024 01:46 42m 30s
Adding -L option to CoqProject for recursively building and importing dependencies Windows CI #11652: Pull request #19407 synchronize by Durbatuluk1701
July 22, 2024 00:56 47m 38s Durbatuluk1701:l_coq_project_option
Durbatuluk1701:l_coq_project_option
July 22, 2024 00:56 47m 38s
Merge PR #19091: Use multiple statements to implement interactive fix… Windows CI #11651: Commit 7fa961b pushed by coqbot-app bot
July 21, 2024 22:18 48m 56s master
master
July 21, 2024 22:18 48m 56s
Adding -L option to CoqProject for recursively building and importing dependencies Windows CI #11650: Pull request #19407 opened by Durbatuluk1701
July 21, 2024 17:37 36m 30s Durbatuluk1701:l_coq_project_option
Durbatuluk1701:l_coq_project_option
July 21, 2024 17:37 36m 30s
Experiment: use shallow constr hash to speedup hconstr hashconsing Windows CI #11649: Pull request #19391 synchronize by SkySkimmer
July 21, 2024 17:37 39m 20s SkySkimmer:hquick
SkySkimmer:hquick
July 21, 2024 17:37 39m 20s
Avoid allocating a new term when already whnf in Reductionops.whd_betaiota and whd_beta Windows CI #11648: Pull request #19406 opened by SkySkimmer
July 21, 2024 14:33 1h 3m 56s SkySkimmer:careful-whnf-betaiota
SkySkimmer:careful-whnf-betaiota
July 21, 2024 14:33 1h 3m 56s
Experiment: use shallow constr hash to speedup hconstr hashconsing Windows CI #11647: Pull request #19391 synchronize by SkySkimmer
July 21, 2024 13:59 55m 25s SkySkimmer:hquick
SkySkimmer:hquick
July 21, 2024 13:59 55m 25s