Skip to content

Actions: MetaCoq/metacoq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
795 workflow runs
795 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapt to https://github.com/coq/coq/pull/18224 MetaCoq CI #2644: Pull request #1035 synchronize by proux01
February 4, 2024 13:43 2m 14s proux01:coq_18224
proux01:coq_18224
February 4, 2024 13:43 2m 14s
Merge pull request #1050 from MetaCoq/erasure_pipeline_extends_app MetaCoq CI #2643: Commit ff472bd pushed by mattam82
February 1, 2024 13:02 35m 43s coq-8.17
coq-8.17
February 1, 2024 13:02 35m 43s
erasure_pipeline_extends_app with todo irrel MetaCoq CI #2642: Pull request #1050 synchronize by mattam82
February 1, 2024 11:07 36m 7s erasure_pipeline_extends_app
erasure_pipeline_extends_app
February 1, 2024 11:07 36m 7s
Fill proofs MetaCoq CI #2641: Commit 7893790 pushed by mattam82
February 1, 2024 11:07 34m 13s erasure_pipeline_extends_app
erasure_pipeline_extends_app
February 1, 2024 11:07 34m 13s
erasure_pipeline_extends_app with todo irrel MetaCoq CI #2640: Pull request #1050 opened by tabareau
January 30, 2024 08:33 36m 26s erasure_pipeline_extends_app
erasure_pipeline_extends_app
January 30, 2024 08:33 36m 26s
erasure_pipeline_extends_app with todo irrel MetaCoq CI #2639: Commit 35b6225 pushed by tabareau
January 30, 2024 08:32 34m 24s erasure_pipeline_extends_app
erasure_pipeline_extends_app
January 30, 2024 08:32 34m 24s
Merge branch 'coq-8.19' MetaCoq CI #2638: Commit e6368e3 pushed by mattam82
January 27, 2024 18:04 37m 44s main
main
January 27, 2024 18:04 37m 44s
Blacklist "Induction" in extraction due to clash with Coq module MetaCoq CI #2637: Commit 38324e4 pushed by mattam82
January 27, 2024 18:02 32m 38s coq-8.19
coq-8.19
January 27, 2024 18:02 32m 38s
Merge branch 'coq-8.17' into coq-8.18 MetaCoq CI #2636: Commit 0b5845d pushed by mattam82
January 27, 2024 17:56 32m 49s coq-8.18
coq-8.18
January 27, 2024 17:56 32m 49s
Use CArray.fold_left_map instead of rolling our own MetaCoq CI #2635: Commit 98b0360 pushed by mattam82
January 27, 2024 17:54 35m 22s coq-8.17
coq-8.17
January 27, 2024 17:54 35m 22s
Merge pull request #1040 from liyishuai/patch-1 MetaCoq CI #2634: Commit 44c204b pushed by mattam82
January 27, 2024 17:43 27m 56s coq-8.17
coq-8.17
January 27, 2024 17:43 27m 56s
Merge pull request #1049 from MetaCoq/main-fixes-deprecations MetaCoq CI #2633: Commit 4fbb370 pushed by mattam82
January 27, 2024 06:36 32m 51s main
main
January 27, 2024 06:36 32m 51s
Comment certifying passes tests MetaCoq CI #2632: Commit b674c5e pushed by mattam82
January 27, 2024 06:36 33m 43s coq-8.17
coq-8.17
January 27, 2024 06:36 33m 43s
Fix minor warnings MetaCoq CI #2631: Commit ccb615e pushed by mattam82
January 27, 2024 06:13 33m 41s coq-8.17
coq-8.17
January 27, 2024 06:13 33m 41s
Merge pull request #1048 from MetaCoq/8.19-warnings-deprecations MetaCoq CI #2630: Commit f0e1d9d pushed by mattam82
January 27, 2024 06:08 31m 20s coq-8.19
coq-8.19
January 27, 2024 06:08 31m 20s
Remove spurious coq.dev file MetaCoq CI #2629: Commit a9acc32 pushed by mattam82
January 27, 2024 06:06 30m 45s coq-8.18
coq-8.18
January 27, 2024 06:06 30m 45s
Main fixes deprecations MetaCoq CI #2628: Pull request #1049 synchronize by mattam82
January 27, 2024 05:59 30m 50s main-fixes-deprecations
main-fixes-deprecations
January 27, 2024 05:59 30m 50s
Fix warnings in quotation MetaCoq CI #2627: Commit c7ba48b pushed by mattam82
January 27, 2024 05:59 30m 38s main-fixes-deprecations
main-fixes-deprecations
January 27, 2024 05:59 30m 38s
Main fixes deprecations MetaCoq CI #2626: Pull request #1049 opened by mattam82
January 26, 2024 21:18 1m 38s main-fixes-deprecations
main-fixes-deprecations
January 26, 2024 21:18 1m 38s
Merge branch '8.19-warnings-deprecations' MetaCoq CI #2625: Commit bde7d3d pushed by mattam82
January 26, 2024 21:18 1m 42s main-fixes-deprecations
main-fixes-deprecations
January 26, 2024 21:18 1m 42s
8.19 warnings deprecations MetaCoq CI #2624: Pull request #1048 opened by mattam82
January 26, 2024 21:04 30m 28s 8.19-warnings-deprecations
8.19-warnings-deprecations
January 26, 2024 21:04 30m 28s
Fix warnings and deprecations MetaCoq CI #2623: Commit 7cb3ae7 pushed by mattam82
January 26, 2024 20:59 31m 17s 8.19-warnings-deprecations
8.19-warnings-deprecations
January 26, 2024 20:59 31m 17s
Merge pull request #1047 from MetaCoq/8.18-warnings-deprecations MetaCoq CI #2622: Commit 5fdd3af pushed by mattam82
January 26, 2024 16:38 31m 50s coq-8.18
coq-8.18
January 26, 2024 16:38 31m 50s
8.18 warnings and deprecations fixes MetaCoq CI #2621: Pull request #1047 opened by mattam82
January 26, 2024 16:05 31m 3s 8.18-warnings-deprecations
8.18-warnings-deprecations
January 26, 2024 16:05 31m 3s
Fix 8.18 warnings and deprecations MetaCoq CI #2620: Commit 6d8ea79 pushed by mattam82
January 26, 2024 16:04 30m 29s 8.18-warnings-deprecations
8.18-warnings-deprecations
January 26, 2024 16:04 30m 29s
ProTip! You can narrow down the results and go further in time using created:<2024-01-26 or the other filters available.