Skip to content

Actions: MetaCoq/metacoq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
723 workflow runs
723 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Support primitive array terms MetaCoq CI #2483: Pull request #998 synchronize by mattam82
November 9, 2023 15:05 12m 35s primitive-arrays
primitive-arrays
November 9, 2023 15:05 12m 35s
Adapted all of PCUIC to primitive arrays (and in general term contain… MetaCoq CI #2482: Commit 5286849 pushed by mattam82
November 9, 2023 15:05 10m 42s primitive-arrays
primitive-arrays
November 9, 2023 15:05 10m 42s
More unified judgment type and All_local_env MetaCoq CI #2480: Pull request #1007 opened by yannl35133
November 7, 2023 18:00 17m 59s Yann-Leray:rejudgment
Yann-Leray:rejudgment
November 7, 2023 18:00 17m 59s
LSP Support MetaCoq CI #2479: Pull request #1006 opened by yannl35133
November 7, 2023 17:52 28m 8s Yann-Leray:LSP-support
Yann-Leray:LSP-support
November 7, 2023 17:52 28m 8s
Merge pull request #984 from SkySkimmer/sort-poly MetaCoq CI #2478: Commit 472ac7b pushed by ppedrot
November 6, 2023 20:44 2m 8s main
main
November 6, 2023 20:44 2m 8s
Adapt to coq/coq#17836 (sort poly) MetaCoq CI #2477: Pull request #984 ready_for_review by ppedrot
November 6, 2023 20:44 2m 1s SkySkimmer:sort-poly
SkySkimmer:sort-poly
November 6, 2023 20:44 2m 1s
Support primitive array terms MetaCoq CI #2476: Pull request #998 synchronize by mattam82
November 6, 2023 16:45 10m 46s primitive-arrays
primitive-arrays
November 6, 2023 16:45 10m 46s
Alpha-conv and validity done MetaCoq CI #2475: Commit 4c27c06 pushed by mattam82
November 6, 2023 16:45 9m 59s primitive-arrays
primitive-arrays
November 6, 2023 16:45 9m 59s
Merge pull request #1005 from SkySkimmer/let-abstract MetaCoq CI #2474: Commit f593f01 pushed by ppedrot
November 4, 2023 19:17 11m 45s main
main
November 4, 2023 19:17 11m 45s
Adapt to coq/coq#17576 (declare_variable takes typing flags argument) MetaCoq CI #2473: Pull request #1005 ready_for_review by SkySkimmer
November 4, 2023 18:48 4m 8s SkySkimmer:let-abstract
SkySkimmer:let-abstract
November 4, 2023 18:48 4m 8s
Adapt to coq/coq#17576 (declare_variable takes typing flags argument) MetaCoq CI #2472: Pull request #1005 opened by SkySkimmer
November 2, 2023 14:29 4m 9s SkySkimmer:let-abstract
SkySkimmer:let-abstract
November 2, 2023 14:29 4m 9s
remove nix on 8.18 MetaCoq CI #2471: Commit 4025256 pushed by yforster
November 1, 2023 14:48 1h 4m 21s v1.2.1-8.18
v1.2.1-8.18
November 1, 2023 14:48 1h 4m 21s
fix Makefile and opam files MetaCoq CI #2470: Commit b33a9bd pushed by yforster
November 1, 2023 14:44 1h 28m 57s v1.2.1-8.17
v1.2.1-8.17
November 1, 2023 14:44 1h 28m 57s
remove nix on 8.18 MetaCoq CI #2469: Commit 4025256 pushed by yforster
November 1, 2023 14:40 57m 18s coq-8.18
coq-8.18
November 1, 2023 14:40 57m 18s
fix Makefile and opam files MetaCoq CI #2468: Commit b33a9bd pushed by yforster
November 1, 2023 14:39 1h 1m 56s coq-8.17
coq-8.17
November 1, 2023 14:39 1h 1m 56s
Update 8.18 again with Makefile and opam change MetaCoq CI #2467: Pull request #1003 synchronize by yforster
November 1, 2023 13:38 40m 17s update-coq-8.18
update-coq-8.18
November 1, 2023 13:38 40m 17s
remove nix on 8.18 MetaCoq CI #2466: Commit 6f93bbb pushed by yforster
November 1, 2023 13:38 1h 2m 15s update-coq-8.18
update-coq-8.18
November 1, 2023 13:38 1h 2m 15s
Update 8.18 again with Makefile and opam change MetaCoq CI #2465: Pull request #1003 opened by yforster
November 1, 2023 13:37 1m 0s update-coq-8.18
update-coq-8.18
November 1, 2023 13:37 1m 0s
remove nix on 8.18 MetaCoq CI #2464: Commit fe0ffb8 pushed by yforster
November 1, 2023 13:36 56m 1s update-coq-8.18
update-coq-8.18
November 1, 2023 13:36 56m 1s
Fix Makefile and opam for 8.18 MetaCoq CI #2463: Pull request #1002 opened by yforster
November 1, 2023 13:32 1h 6m 30s coq-8.18
coq-8.18
November 1, 2023 13:32 1h 6m 30s
Fix Makefile and opam for 8.18 Nix CI for bundle coq-8.16 #718: Pull request #1002 opened by yforster
November 1, 2023 13:32 40s
November 1, 2023 13:32 40s
Fix Makefile and opam for 8.18 Nix CI for bundle coq-8.16 #720: Pull request #1002 opened by yforster
November 1, 2023 13:32 2m 59s
November 1, 2023 13:32 2m 59s
fix Makefile and opam files MetaCoq CI #2462: Commit 2e039e5 pushed by yforster
November 1, 2023 13:31 56m 0s update-coq-8.18
update-coq-8.18
November 1, 2023 13:31 56m 0s
Qualify imports to disable race condition for opam builds MetaCoq CI #2461: Pull request #1001 synchronize by yforster
November 1, 2023 13:31 1h 2m 15s coq-8.17-race-condition
coq-8.17-race-condition
November 1, 2023 13:31 1h 2m 15s
fix Makefile and opam files MetaCoq CI #2460: Commit 309f107 pushed by yforster
November 1, 2023 13:31 1h 5m 31s coq-8.17-race-condition
coq-8.17-race-condition
November 1, 2023 13:31 1h 5m 31s
ProTip! You can narrow down the results and go further in time using created:<2023-11-01 or the other filters available.