Skip to content

Actions: MetaCoq/metacoq

Actions

MetaCoq CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
506 workflow runs
506 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

more general strengthening MetaCoq CI #2386: Commit 9fd6f61 pushed by tabareau
September 26, 2023 15:59 1h 30m 45s improve-strengthening
improve-strengthening
September 26, 2023 15:59 1h 30m 45s
improve strengthening to get cumul info on type MetaCoq CI #2385: Pull request #985 opened by tabareau
September 26, 2023 12:50 1h 37m 0s improve-strengthening
improve-strengthening
September 26, 2023 12:50 1h 37m 0s
improve stengthening to get cumul info on type MetaCoq CI #2384: Commit adba794 pushed by tabareau
September 26, 2023 12:50 1h 19m 6s improve-strengthening
improve-strengthening
September 26, 2023 12:50 1h 19m 6s
Adapt to coq/coq#17836 (sort poly) MetaCoq CI #2383: Pull request #984 synchronize by SkySkimmer
September 26, 2023 11:53 5m 9s SkySkimmer:sort-poly
SkySkimmer:sort-poly
September 26, 2023 11:53 5m 9s
Adapt to coq/coq#17836 (sort poly) MetaCoq CI #2382: Pull request #984 opened by SkySkimmer
September 22, 2023 13:45 5m 18s SkySkimmer:sort-poly
SkySkimmer:sort-poly
September 22, 2023 13:45 5m 18s
Cleanup MetaCoq CI #2381: Commit 8ee1c39 pushed by mattam82
September 15, 2023 12:12 40m 8s verified_erasure_pipeline
verified_erasure_pipeline
September 15, 2023 12:12 40m 8s
Remove Int31 MetaCoq CI #2380: Pull request #983 opened by Villetaneuse
September 14, 2023 07:24 1h 3m 57s Villetaneuse:remove_Int31
Villetaneuse:remove_Int31
September 14, 2023 07:24 1h 3m 57s
Fix erasure plugin compilation MetaCoq CI #2379: Commit c13a479 pushed by mattam82
September 13, 2023 09:32 36m 2s verified_erasure_pipeline
verified_erasure_pipeline
September 13, 2023 09:32 36m 2s
Finished preservation of expansion proof MetaCoq CI #2378: Commit da116a0 pushed by mattam82
September 12, 2023 10:53 31m 12s verified_erasure_pipeline
verified_erasure_pipeline
September 12, 2023 10:53 31m 12s
Finish main erasure correctness proof. Need to move expand_lets reaso… MetaCoq CI #2377: Commit cdfb96e pushed by mattam82
September 7, 2023 14:33 30m 10s verified_erasure_pipeline
verified_erasure_pipeline
September 7, 2023 14:33 30m 10s
Bump actions/checkout from 3 to 4 (#982) MetaCoq CI #2376: Commit cde7d00 pushed by dependabot bot
September 4, 2023 20:27 1h 12m 3s main
main
September 4, 2023 20:27 1h 12m 3s
Bump cachix/install-nix-action from 22 to 23 (#979) MetaCoq CI #2375: Commit 7723421 pushed by dependabot bot
September 4, 2023 19:54 1h 11m 52s coq-8.16
coq-8.16
September 4, 2023 19:54 1h 11m 52s
Bump actions/checkout from 3 to 4 (#977) MetaCoq CI #2374: Commit 555b239 pushed by dependabot bot
September 4, 2023 18:21 1h 48m 25s coq-8.16
coq-8.16
September 4, 2023 18:21 1h 48m 25s
Bump actions/checkout from 3 to 4 (#978) MetaCoq CI #2373: Commit 3e0f857 pushed by dependabot bot
September 4, 2023 18:20 1h 26m 7s coq-8.17
coq-8.17
September 4, 2023 18:20 1h 26m 7s
Bump actions/checkout from 3 to 4 MetaCoq CI #2372: Pull request #982 opened by dependabot bot
September 4, 2023 16:59 2h 10m 11s dependabot/github_actions/main/actions/checkout-4
dependabot/github_actions/main/actions/checkout-4
September 4, 2023 16:59 2h 10m 11s
Bump actions/checkout from 3 to 4 MetaCoq CI #2371: Commit 4ec3033 pushed by dependabot bot
September 4, 2023 16:59 2h 10m 8s dependabot/github_actions/main/actions/checkout-4
dependabot/github_actions/main/actions/checkout-4
September 4, 2023 16:59 2h 10m 8s
Bump cachix/install-nix-action from 22 to 23 MetaCoq CI #2370: Pull request #981 opened by dependabot bot
September 4, 2023 16:59 2h 25m 47s dependabot/github_actions/main/cachix/install-nix-action-23
dependabot/github_actions/main/cachix/install-nix-action-23
September 4, 2023 16:59 2h 25m 47s
Bump cachix/install-nix-action from 22 to 23 MetaCoq CI #2369: Commit d19fa06 pushed by dependabot bot
September 4, 2023 16:59 1h 56m 51s dependabot/github_actions/main/cachix/install-nix-action-23
dependabot/github_actions/main/cachix/install-nix-action-23
September 4, 2023 16:59 1h 56m 51s
Bump actions/checkout from 3 to 4 MetaCoq CI #2368: Pull request #980 opened by dependabot bot
September 4, 2023 16:58 2h 8m 52s dependabot/github_actions/coq-8.16/actions/checkout-4
dependabot/github_actions/coq-8.16/actions/checkout-4
September 4, 2023 16:58 2h 8m 52s
Bump actions/checkout from 3 to 4 MetaCoq CI #2367: Commit 1d7c33e pushed by dependabot bot
September 4, 2023 16:58 1h 38m 55s dependabot/github_actions/coq-8.16/actions/checkout-4
dependabot/github_actions/coq-8.16/actions/checkout-4
September 4, 2023 16:58 1h 38m 55s
Bump cachix/install-nix-action from 22 to 23 MetaCoq CI #2366: Pull request #979 opened by dependabot bot
September 4, 2023 16:58 1h 23m 57s dependabot/github_actions/coq-8.16/cachix/install-nix-action-23
dependabot/github_actions/coq-8.16/cachix/install-nix-action-23
September 4, 2023 16:58 1h 23m 57s
Bump cachix/install-nix-action from 22 to 23 MetaCoq CI #2365: Commit 26db150 pushed by dependabot bot
September 4, 2023 16:58 1h 46m 9s dependabot/github_actions/coq-8.16/cachix/install-nix-action-23
dependabot/github_actions/coq-8.16/cachix/install-nix-action-23
September 4, 2023 16:58 1h 46m 9s
Bump actions/checkout from 3 to 4 MetaCoq CI #2364: Pull request #978 opened by dependabot bot
September 4, 2023 16:35 1h 21m 20s dependabot/github_actions/coq-8.17/actions/checkout-4
dependabot/github_actions/coq-8.17/actions/checkout-4
September 4, 2023 16:35 1h 21m 20s
Bump actions/checkout from 3 to 4 MetaCoq CI #2363: Commit a83abb9 pushed by dependabot bot
September 4, 2023 16:35 1h 21m 29s dependabot/github_actions/coq-8.17/actions/checkout-4
dependabot/github_actions/coq-8.17/actions/checkout-4
September 4, 2023 16:35 1h 21m 29s
Bump actions/checkout from 3 to 4 MetaCoq CI #2362: Pull request #977 opened by dependabot bot
September 4, 2023 16:33 1h 7m 41s dependabot/github_actions/actions/checkout-4
dependabot/github_actions/actions/checkout-4
September 4, 2023 16:33 1h 7m 41s
ProTip! You can narrow down the results and go further in time using created:<2023-09-04 or the other filters available.