Skip to content

Actions: MetaCoq/metacoq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
661 workflow runs
661 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge 8.16 and 8.17 into 8.18 Nix CI for bundle coq-8.16 #719: Pull request #991 opened by yforster
October 16, 2023 13:37 2m 33s
October 16, 2023 13:37 2m 33s
Merge 8.16 and 8.17 into 8.18 Nix CI for bundle coq-8.16 #717: Pull request #991 opened by yforster
October 16, 2023 13:37 55s
October 16, 2023 13:37 55s
Merge branch 'coq-8.17-updates-8.16' into coq-8.18 MetaCoq CI #2416: Commit 87f8ebf pushed by yforster
October 16, 2023 13:36 1h 1m 34s coq-8.18-updates-8.17
coq-8.18-updates-8.17
October 16, 2023 13:36 1h 1m 34s
fix Makefile MetaCoq CI #2415: Commit 34c831e pushed by yforster
October 16, 2023 09:01 1h 17m 15s coq-8.17-updates-8.16
coq-8.17-updates-8.16
October 16, 2023 09:01 1h 17m 15s
Merge remote-tracking branch 'origin/coq-8.16' into coq-8.17 MetaCoq CI #2414: Commit 241dd7f pushed by yforster
October 16, 2023 08:50 1h 8m 39s coq-8.17-updates-8.16
coq-8.17-updates-8.16
October 16, 2023 08:50 1h 8m 39s
Drastically speed up ByteCompareSpec MetaCoq CI #2413: Commit 210154e pushed by yforster
October 16, 2023 07:38 5m 58s coq-8.18-updates-8.16
coq-8.18-updates-8.16
October 16, 2023 07:38 5m 58s
Merge pull request #990 from MetaCoq/not_isErasable MetaCoq CI #2412: Commit 65e8a93 pushed by tabareau
October 10, 2023 13:03 1h 10m 6s coq-8.17
coq-8.17
October 10, 2023 13:03 1h 10m 6s
add not_isErasable lemma in EArities MetaCoq CI #2411: Pull request #990 opened by tabareau
October 10, 2023 11:38 1h 6m 32s not_isErasable
not_isErasable
October 10, 2023 11:38 1h 6m 32s
add not_isErasable lemma in EArities MetaCoq CI #2410: Commit 1dc7961 pushed by tabareau
October 10, 2023 11:38 1h 5m 36s not_isErasable
not_isErasable
October 10, 2023 11:38 1h 5m 36s
coq-equations.1.3+8.18 MetaCoq CI #2409: Commit 1fcd7ff pushed by yforster
October 5, 2023 08:45 1h 17m 37s coq-8.18
coq-8.18
October 5, 2023 08:45 1h 17m 37s
coq-equations.1.3+8.18 MetaCoq CI #2408: Commit e96b809 pushed by yforster
October 5, 2023 08:38 3m 8s coq-8.18
coq-8.18
October 5, 2023 08:38 3m 8s
Fix install target MetaCoq CI #2407: Commit 874b646 pushed by mattam82
October 3, 2023 13:50 1h 16m 20s verified_erasure_pipeline
verified_erasure_pipeline
October 3, 2023 13:50 1h 16m 20s
Merge pull request #987 from MetaCoq/verified_erasure_pipeline MetaCoq CI #2406: Commit 3733e67 pushed by mattam82
October 3, 2023 10:59 1h 42m 52s coq-8.17
coq-8.17
October 3, 2023 10:59 1h 42m 52s
Verified erasure pipeline MetaCoq CI #2405: Pull request #987 synchronize by mattam82
October 3, 2023 09:27 1h 11m 45s verified_erasure_pipeline
verified_erasure_pipeline
October 3, 2023 09:27 1h 11m 45s
Fix test suite MetaCoq CI #2404: Commit 357e8a7 pushed by mattam82
October 3, 2023 09:27 1h 20m 2s verified_erasure_pipeline
verified_erasure_pipeline
October 3, 2023 09:27 1h 20m 2s
Verified erasure pipeline MetaCoq CI #2403: Pull request #987 synchronize by mattam82
October 3, 2023 08:31 35m 46s verified_erasure_pipeline
verified_erasure_pipeline
October 3, 2023 08:31 35m 46s
Fix after rebase MetaCoq CI #2402: Commit f2b1cc0 pushed by mattam82
October 3, 2023 08:31 35m 13s verified_erasure_pipeline
verified_erasure_pipeline
October 3, 2023 08:31 35m 13s
fix CI MetaCoq CI #2401: Commit efe2b96 pushed by yforster
October 2, 2023 14:47 1h 1m 16s coq-8.18
coq-8.18
October 2, 2023 14:47 1h 1m 16s
fix CI MetaCoq CI #2400: Commit 59c171e pushed by yforster
October 2, 2023 13:22 1m 32s coq-8.18
coq-8.18
October 2, 2023 13:22 1m 32s
adapt CI and opam files to 8.18 MetaCoq CI #2399: Commit c2d2754 pushed by yforster
October 2, 2023 13:16 1m 45s coq-8.18
coq-8.18
October 2, 2023 13:16 1m 45s
Merge pull request #988 from JasonGross/coq-8.16+bytecomparespec-better Nix CI for bundle coq-8.16 #718: Commit 9f7cc51 pushed by ppedrot
October 2, 2023 13:01 6m 42s coq-8.16
coq-8.16
October 2, 2023 13:01 6m 42s
Merge pull request #988 from JasonGross/coq-8.16+bytecomparespec-better MetaCoq CI #2398: Commit 9f7cc51 pushed by ppedrot
October 2, 2023 13:01 1h 18m 48s coq-8.16
coq-8.16
October 2, 2023 13:01 1h 18m 48s
Merge pull request #988 from JasonGross/coq-8.16+bytecomparespec-better Nix CI for bundle coq-8.16 #716: Commit 9f7cc51 pushed by ppedrot
October 2, 2023 13:01 2m 20s coq-8.16
coq-8.16
October 2, 2023 13:01 2m 20s
Verified erasure pipeline MetaCoq CI #2397: Pull request #987 synchronize by mattam82
October 2, 2023 11:35 31m 50s verified_erasure_pipeline
verified_erasure_pipeline
October 2, 2023 11:35 31m 50s
Minor fixes MetaCoq CI #2396: Commit 702a0e9 pushed by mattam82
October 2, 2023 11:34 48m 54s verified_erasure_pipeline
verified_erasure_pipeline
October 2, 2023 11:34 48m 54s
ProTip! You can narrow down the results and go further in time using created:<2023-10-02 or the other filters available.