Skip to content

Actions: coq/coq

Actions

Windows CI

Actions

Loading...

Show workflow options

Create status badge

ci-windows.yml
5,262 workflow runs
5,262 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Merge PR #19096: Fix stage of ltac2 notation interp map (Tac2env.ltac… Windows CI #10576: Commit 9d772b5 pushed by coqbot-app bot
May 28, 2024 12:04 In progress master
master
May 28, 2024 12:04 In progress
[unification] Experiment: add a flag to configure conversion on heads found by FO approximation Windows CI #10575: Pull request #18939 synchronize by mattam82
May 28, 2024 11:44 In progress mattam82:unification-fo-function-conversion
mattam82:unification-fo-function-conversion
May 28, 2024 11:44 In progress
Factorize the code for unification of universes. Windows CI #10574: Pull request #19101 opened by ppedrot
May 28, 2024 10:01 56m 1s ppedrot:unification-factor-univs
ppedrot:unification-factor-univs
May 28, 2024 10:01 56m 1s
coq_interp: squelch a incompatible-pointer warning Windows CI #10573: Pull request #19052 synchronize by artagnon
May 28, 2024 09:57 47m 42s artagnon:interp-volatile-warn
artagnon:interp-volatile-warn
May 28, 2024 09:57 47m 42s
Algebraic universes and new solving algorithm Windows CI #10572: Pull request #18903 synchronize by mattam82
May 28, 2024 09:40 1h 0m 5s mattam82:universes-clauses
mattam82:universes-clauses
May 28, 2024 09:40 1h 0m 5s
Algebraic universes and new solving algorithm Windows CI #10571: Pull request #18903 synchronize by mattam82
May 28, 2024 09:38 45m 5s mattam82:universes-clauses
mattam82:universes-clauses
May 28, 2024 09:38 45m 5s
Merge PR #19034: More efficient compilation of PArray blobs in the VM. Windows CI #10570: Commit 00b1b52 pushed by coqbot-app bot
May 28, 2024 08:46 51m 23s master
master
May 28, 2024 08:46 51m 23s
Fix passing line number of errors in xml protocol, causing ill-located or non-located errors, notably in the presence of utf8 characters Windows CI #10569: Pull request #19040 synchronize by herbelin
May 28, 2024 07:56 54m 44s herbelin:master+fix-xmlprotocol-loc-line_nb-fail
herbelin:master+fix-xmlprotocol-loc-line_nb-fail
May 28, 2024 07:56 54m 44s
Fix passing line number of errors in xml protocol, causing ill-located or non-located errors, notably in the presence of utf8 characters Windows CI #10568: Pull request #19040 synchronize by herbelin
May 28, 2024 07:09 57m 16s herbelin:master+fix-xmlprotocol-loc-line_nb-fail
herbelin:master+fix-xmlprotocol-loc-line_nb-fail
May 28, 2024 07:09 57m 16s
Fix passing line number of errors in xml protocol, causing ill-located or non-located errors, notably in the presence of utf8 characters Windows CI #10567: Pull request #19040 synchronize by herbelin
May 28, 2024 07:09 52m 21s herbelin:master+fix-xmlprotocol-loc-line_nb-fail
herbelin:master+fix-xmlprotocol-loc-line_nb-fail
May 28, 2024 07:09 52m 21s
Remove include type Windows CI #10566: Pull request #18482 synchronize by Villetaneuse
May 28, 2024 07:01 57m 27s Villetaneuse:remove_include_type
Villetaneuse:remove_include_type
May 28, 2024 07:01 57m 27s
Compress the compiled bytecode. Windows CI #10565: Pull request #18959 synchronize by ppedrot
May 28, 2024 06:36 48m 4s silene:compressed-bytecode
silene:compressed-bytecode
May 28, 2024 06:36 48m 4s
Fixes #19099: binders of universe polymorphic primitive constants treated as monomorphic Windows CI #10564: Pull request #19100 synchronize by herbelin
May 27, 2024 20:23 1h 4m 54s herbelin:master+fix19099-poly-prim-constant-with-udecl
herbelin:master+fix19099-poly-prim-constant-with-udecl
May 27, 2024 20:23 1h 4m 54s
Fixes #19099: binders of universe polymorphic primitive constants treated as monomorphic Windows CI #10563: Pull request #19100 opened by herbelin
May 27, 2024 20:09 59m 9s herbelin:master+fix19099-poly-prim-constant-with-udecl
herbelin:master+fix19099-poly-prim-constant-with-udecl
May 27, 2024 20:09 59m 9s
Merge PR #19097: Avoid async proofs messing up test output/auto Windows CI #10562: Commit d4dfa2c pushed by coqbot-app bot
May 27, 2024 19:46 52m 35s master
master
May 27, 2024 19:46 52m 35s
Use a structured type for Unification internal state. Windows CI #10561: Pull request #19098 opened by ppedrot
May 27, 2024 19:38 53m 5s ppedrot:unification-abstract-state-type
ppedrot:unification-abstract-state-type
May 27, 2024 19:38 53m 5s
A few renamings or documentation of code here and there to ease code understanding Windows CI #10560: Pull request #19084 synchronize by herbelin
May 27, 2024 18:03 55m 6s herbelin:master+misc-code-doc
herbelin:master+misc-code-doc
May 27, 2024 18:03 55m 6s
Avoid async proofs messing up test output/auto Windows CI #10559: Pull request #19097 opened by SkySkimmer
May 27, 2024 13:51 52m 5s SkySkimmer:output-async-auto
SkySkimmer:output-async-auto
May 27, 2024 13:51 52m 5s
Fix stage of ltac2 notation interp map (Tac2env.ltac_notations) Windows CI #10558: Pull request #19096 opened by SkySkimmer
May 27, 2024 13:33 53m 53s SkySkimmer:ltac2-nota-stage
SkySkimmer:ltac2-nota-stage
May 27, 2024 13:33 53m 53s
ppvernac fixes (univdecl incorrect printing and attribute spacing) Windows CI #10557: Pull request #19095 opened by SkySkimmer
May 27, 2024 13:15 57m 24s SkySkimmer:fix-ppvernac
SkySkimmer:fix-ppvernac
May 27, 2024 13:15 57m 24s
Univ declarations can have extensible qualities (internally) Windows CI #10556: Pull request #19073 synchronize by SkySkimmer
May 27, 2024 13:04 1h 9m 33s SkySkimmer:abstract-sort-poly
SkySkimmer:abstract-sort-poly
May 27, 2024 13:04 1h 9m 33s
Add module types USetS UMapS for unordered maps Windows CI #10555: Pull request #19078 synchronize by SkySkimmer
May 27, 2024 12:55 1h 0m 30s SkySkimmer:csig-umap
SkySkimmer:csig-umap
May 27, 2024 12:55 1h 0m 30s
Warn when automatically lowering an inductive declared with : Type to Prop Windows CI #10554: Pull request #18989 synchronize by SkySkimmer
May 27, 2024 12:13 1h 18m 42s SkySkimmer:warn-auto-lower
SkySkimmer:warn-auto-lower
May 27, 2024 12:13 1h 18m 42s
Simplify declaremods internals Windows CI #10553: Pull request #19094 opened by SkySkimmer
May 27, 2024 11:59 1h 0m 45s SkySkimmer:simpl-declmods
SkySkimmer:simpl-declmods
May 27, 2024 11:59 1h 0m 45s
Fix file extensions in CODEOWNERS. Windows CI #10552: Pull request #19093 opened by Zimmi48
May 27, 2024 11:53 51m 10s Zimmi48:fix-codeowners-md
Zimmi48:fix-codeowners-md
May 27, 2024 11:53 51m 10s