Skip to content

Actions: SkySkimmer/metacoq

Actions

MetaCoq CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapt to coq/coq#19384 (add_global_univ -> add_forgotten_univ) MetaCoq CI #40: Commit a1a1a1b pushed by SkySkimmer
July 23, 2024 12:58 13m 7s more-demote
more-demote
July 23, 2024 12:58 13m 7s
Adapt to coq/coq#18938 (EConstr.ERelevance) MetaCoq CI #39: Commit 755a982 pushed by SkySkimmer
April 17, 2024 12:25 14m 15s erelevance
erelevance
April 17, 2024 12:25 14m 15s
Adapt to coq/coq#18422 (indirect accessor handled through vernactypes) MetaCoq CI #38: Commit 142cff1 pushed by SkySkimmer
April 5, 2024 11:17 29m 46s indirect
indirect
April 5, 2024 11:17 29m 46s
Adapt to coq/coq#18867 (inductive_sort_family doesn't exist) MetaCoq CI #37: Commit 29fc39c pushed by SkySkimmer
April 4, 2024 13:43 36m 2s non-prop-template
non-prop-template
April 4, 2024 13:43 36m 2s
Adapt to coq/coq#18852 (interp_red_expr can be done without ltac) MetaCoq CI #36: Commit 70e4a90 pushed by SkySkimmer
March 28, 2024 15:34 14m 24s redexpr-clean
redexpr-clean
March 28, 2024 15:34 14m 24s
Remove unused Require Even (Even has been removed from stdlib in 8.19) MetaCoq CI #35: Commit cbd4b05 pushed by SkySkimmer
January 18, 2024 14:51 11m 31s uneven
uneven
January 18, 2024 14:51 11m 31s
Adapt to coq/coq#18331 (mind_kelim -> mind_squashed) MetaCoq CI #34: Commit 8d6c1cc pushed by SkySkimmer
November 20, 2023 14:36 4m 2s sort-poly-ind
sort-poly-ind
November 20, 2023 14:36 4m 2s
Adapt to coq/coq#18280 (case relevance outside case info) MetaCoq CI #33: Commit 0571a04 pushed by SkySkimmer
November 9, 2023 15:37 5m 1s ci-relevance
ci-relevance
November 9, 2023 15:37 5m 1s
Adapt to coq/coq#17576 (declare_variable takes typing flags argument) MetaCoq CI #32: Commit 67cd5e9 pushed by SkySkimmer
November 2, 2023 14:29 4m 55s let-abstract
let-abstract
November 2, 2023 14:29 4m 55s
Adapt to coq/coq#17836 (sort poly) MetaCoq CI #31: Commit 84c46e5 pushed by SkySkimmer
September 26, 2023 11:53 5m 7s sort-poly
sort-poly
September 26, 2023 11:53 5m 7s
Adapt to coq/coq#17836 (sort poly) MetaCoq CI #30: Commit 9130853 pushed by SkySkimmer
September 22, 2023 13:45 5m 14s sort-poly
sort-poly
September 22, 2023 13:45 5m 14s
wip MetaCoq CI #29: Commit 459168b pushed by SkySkimmer
September 22, 2023 13:10 6m 37s sort-poly
sort-poly
September 22, 2023 13:10 6m 37s
Use : Set explicitly when needed MetaCoq CI #28: Commit 92de04b pushed by SkySkimmer
July 4, 2023 16:10 57m 58s comind-level-compute
comind-level-compute
July 4, 2023 16:10 57m 58s