Skip to content

Actions: SkySkimmer/metacoq

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
21 workflow runs
21 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
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
Adapt to coq/coq#17664 (goptions use Deprecation.t option instead of … MetaCoq CI #27: Commit d5c0dcb pushed by SkySkimmer
June 2, 2023 10:31 5m 33s depr-versions
depr-versions
June 2, 2023 10:31 5m 33s
Adapt to coq/coq#17633 (decompose_app returns array not list) MetaCoq CI #26: Commit 1549e61 pushed by SkySkimmer
May 24, 2023 13:28 5m 19s app-head
app-head
May 24, 2023 13:28 5m 19s
Adapt to coq/coq#17633 (decompose_app returns array not list) MetaCoq CI #25: Commit 9f55bc5 pushed by SkySkimmer
May 24, 2023 13:26 5m 11s app-head
app-head
May 24, 2023 13:26 5m 11s
Adapt to coq/coq#17585 (revised warning API) MetaCoq CI #24: Commit fda4968 pushed by SkySkimmer
May 24, 2023 12:53 5m 8s warn-api
warn-api
May 24, 2023 12:53 5m 8s
Adapt to coq/coq#17585 (revised warning API) MetaCoq CI #23: Commit db06da9 pushed by SkySkimmer
May 24, 2023 12:45 5m 55s warn-api
warn-api
May 24, 2023 12:45 5m 55s
Adapt to coq/coq#17585 (revised warning API) MetaCoq CI #22: Commit 6aaf7e3 pushed by SkySkimmer
May 22, 2023 11:55 5m 58s warn-api
warn-api
May 22, 2023 11:55 5m 58s
Remove bugkncst MetaCoq CI #21: Commit 4e2467d pushed by SkySkimmer
May 15, 2023 11:57 1h 11m 1s bugkncst
bugkncst
May 15, 2023 11:57 1h 11m 1s
Adapt to coq/coq#16890 (Classes.existing_instance takes globref not q… MetaCoq CI #20: Commit 92084ca pushed by SkySkimmer
May 4, 2023 14:33 5m 11s deprecate-definitions
deprecate-definitions
May 4, 2023 14:33 5m 11s
Adapt to coq/coq#16967 (increased kerpair checking) MetaCoq CI #19: Commit f66b374 pushed by SkySkimmer
March 28, 2023 13:34 1m 53s check-kerpairs
check-kerpairs
March 28, 2023 13:34 1m 53s