Skip to content

Actions: MetaCoq/metacoq

Actions

MetaCoq CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
507 workflow runs
507 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1132 from SkySkimmer/classify-warn MetaCoq CI #2935: Commit 17ba45f pushed by ppedrot
January 9, 2025 14:38 32m 55s main
main
January 9, 2025 14:38 32m 55s
Adapt w.r.t. coq/coq#19995. MetaCoq CI #2934: Pull request #1133 opened by ppedrot
January 9, 2025 08:29 15m 48s ppedrot:module-abstract-type
ppedrot:module-abstract-type
January 9, 2025 08:29 15m 48s
adapt to Zeq_bool:=Z.eqb (https://github.com/coq/coq/pull/19801) MetaCoq CI #2933: Pull request #1112 ready_for_review by andres-erbsen
January 7, 2025 17:16 32m 7s andres-erbsen:less-ZArith_base
andres-erbsen:less-ZArith_base
January 7, 2025 17:16 32m 7s
Adapt to coq/coq#19981 (Set Warnings is synterp phase) MetaCoq CI #2932: Pull request #1132 opened by SkySkimmer
January 7, 2025 17:08 32m 27s SkySkimmer:classify-warn
SkySkimmer:classify-warn
January 7, 2025 17:08 32m 27s
adapt to Zeq_bool:=Z.eqb (https://github.com/coq/coq/pull/19801) MetaCoq CI #2931: Pull request #1112 synchronize by andres-erbsen
January 7, 2025 01:02 30m 25s andres-erbsen:less-ZArith_base
andres-erbsen:less-ZArith_base
January 7, 2025 01:02 30m 25s
Merge pull request #1131 from MathisBD/update-inductive-doc-8.20 MetaCoq CI #2930: Commit ea3ed3c pushed by MathisBD
December 30, 2024 19:43 31m 51s coq-8.20
coq-8.20
December 30, 2024 19:43 31m 51s
Update documentation in common/Environment.ml for inductive and constant declarations MetaCoq CI #2929: Pull request #1131 opened by MathisBD
December 30, 2024 19:09 32m 4s MathisBD:update-inductive-doc-8.20
MathisBD:update-inductive-doc-8.20
December 30, 2024 19:09 32m 4s
Merge pull request #1128 from MathisBD/update-inductive-doc MetaCoq CI #2928: Commit b5e09b6 pushed by MathisBD
December 30, 2024 19:01 30m 11s main
main
December 30, 2024 19:01 30m 11s
Update documentation in common/Environment.ml for inductive and constant declarations MetaCoq CI #2927: Pull request #1128 synchronize by MathisBD
December 30, 2024 18:25 31m 24s MathisBD:update-inductive-doc
MathisBD:update-inductive-doc
December 30, 2024 18:25 31m 24s
Update documentation in common/Environment.ml for inductive and constant declarations MetaCoq CI #2926: Pull request #1128 synchronize by MathisBD
December 30, 2024 16:25 26m 28s MathisBD:update-inductive-doc
MathisBD:update-inductive-doc
December 30, 2024 16:25 26m 28s
Update documentation in common/Environment.ml for inductive and constant declarations MetaCoq CI #2925: Pull request #1128 synchronize by MathisBD
December 30, 2024 15:52 27m 4s MathisBD:update-inductive-doc
MathisBD:update-inductive-doc
December 30, 2024 15:52 27m 4s
tmMkInductive should not be used in a tactic MetaCoq CI #2924: Pull request #1130 opened by yforster
December 19, 2024 15:27 32m 5s yforster:tmMkInductive-in-tactic
yforster:tmMkInductive-in-tactic
December 19, 2024 15:27 32m 5s
Nix CI reverse dependency compatibility testing MetaCoq CI #2923: Pull request #1107 synchronize by 4ever2
December 17, 2024 13:46 34m 22s 4ever2:nix-rev-ci
4ever2:nix-rev-ci
December 17, 2024 13:46 34m 22s
Update documentation in common/Environment.ml for inductive and constant declarations MetaCoq CI #2922: Pull request #1128 opened by MathisBD
December 12, 2024 13:36 27m 13s MathisBD:update-inductive-doc
MathisBD:update-inductive-doc
December 12, 2024 13:36 27m 13s
Merge pull request #1102 from proux01/stdlib_repo MetaCoq CI #2921: Commit a1b0749 pushed by ppedrot
December 7, 2024 07:09 2m 30s main
main
December 7, 2024 07:09 2m 30s
Adapt to https://github.com/coq/coq/pull/19530 MetaCoq CI #2920: Pull request #1102 ready_for_review by proux01
December 6, 2024 09:26 12m 44s proux01:stdlib_repo
proux01:stdlib_repo
December 6, 2024 09:26 12m 44s
Merge pull request #1126 from MathisBD/fix-bugged-option MetaCoq CI #2919: Commit 0b90e69 pushed by MathisBD
December 4, 2024 16:46 32m 28s coq-8.20
coq-8.20
December 4, 2024 16:46 32m 28s
Remove bugged option MetaCoq Template Monad Debug. MetaCoq CI #2918: Pull request #1126 opened by MathisBD
December 4, 2024 16:01 33m 55s MathisBD:fix-bugged-option
MathisBD:fix-bugged-option
December 4, 2024 16:01 33m 55s
Merge pull request #1123 from SkySkimmer/rm-bugged-option MetaCoq CI #2917: Commit 34e50fe pushed by mattam82
December 4, 2024 15:27 32m 2s main
main
December 4, 2024 15:27 32m 2s
Adapt to https://github.com/coq/coq/pull/19530 MetaCoq CI #2916: Pull request #1102 synchronize by proux01
December 3, 2024 12:29 12m 40s proux01:stdlib_repo
proux01:stdlib_repo
December 3, 2024 12:29 12m 40s
Adapt to https://github.com/coq/coq/pull/19530 MetaCoq CI #2915: Pull request #1102 synchronize by proux01
December 3, 2024 09:59 12m 46s proux01:stdlib_repo
proux01:stdlib_repo
December 3, 2024 09:59 12m 46s
Adapt to https://github.com/coq/coq/pull/19530 MetaCoq CI #2914: Pull request #1102 synchronize by proux01
November 28, 2024 19:39 12m 36s proux01:stdlib_repo
proux01:stdlib_repo
November 28, 2024 19:39 12m 36s
Adapt to https://github.com/coq/coq/pull/19530 MetaCoq CI #2913: Pull request #1102 synchronize by proux01
November 28, 2024 19:00 12m 33s proux01:stdlib_repo
proux01:stdlib_repo
November 28, 2024 19:00 12m 33s
Adapt to https://github.com/coq/coq/pull/19530 MetaCoq CI #2912: Pull request #1102 synchronize by proux01
November 28, 2024 18:25 12m 35s proux01:stdlib_repo
proux01:stdlib_repo
November 28, 2024 18:25 12m 35s
Adapt to https://github.com/coq/coq/pull/19530 MetaCoq CI #2911: Pull request #1102 synchronize by proux01
November 28, 2024 17:59 12m 33s proux01:stdlib_repo
proux01:stdlib_repo
November 28, 2024 17:59 12m 33s