Skip to content

Actions: MetaCoq/metacoq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
693 workflow runs
693 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Bump actions/checkout from 3 to 4 Nix CI for bundle coq-8.16 #709: Pull request #977 opened by dependabot bot
September 4, 2023 16:33 1h 27m 11s dependabot/github_actions/actions/checkout-4
dependabot/github_actions/actions/checkout-4
September 4, 2023 16:33 1h 27m 11s
Bump actions/checkout from 3 to 4 Nix CI for bundle coq-8.16 #708: Pull request #977 opened by dependabot bot
September 4, 2023 16:33 1h 26m 31s
September 4, 2023 16:33 1h 26m 31s
Bump actions/checkout from 3 to 4 Nix CI for bundle coq-8.16 #706: Pull request #977 opened by dependabot bot
September 4, 2023 16:33 1h 2m 5s
September 4, 2023 16:33 1h 2m 5s
Bump actions/checkout from 3 to 4 MetaCoq CI #2361: Commit 0bf69e7 pushed by dependabot bot
September 4, 2023 16:33 1h 38m 2s dependabot/github_actions/actions/checkout-4
dependabot/github_actions/actions/checkout-4
September 4, 2023 16:33 1h 38m 2s
Bump cachix/install-nix-action from 22 to 23 Nix CI for bundle coq-8.16 #707: Pull request #976 opened by dependabot bot
September 4, 2023 16:33 2h 49m 29s
September 4, 2023 16:33 2h 49m 29s
Bump cachix/install-nix-action from 22 to 23 Nix CI for bundle coq-8.16 #705: Pull request #976 opened by dependabot bot
September 4, 2023 16:33 1h 27m 19s
September 4, 2023 16:33 1h 27m 19s
Bump cachix/install-nix-action from 22 to 23 Nix CI for bundle coq-8.16 #706: Pull request #976 opened by dependabot bot
September 4, 2023 16:33 1h 32m 18s dependabot/github_actions/cachix/install-nix-action-23
dependabot/github_actions/cachix/install-nix-action-23
September 4, 2023 16:33 1h 32m 18s
Bump cachix/install-nix-action from 22 to 23 MetaCoq CI #2360: Pull request #976 opened by dependabot bot
September 4, 2023 16:33 1h 12m 9s dependabot/github_actions/cachix/install-nix-action-23
dependabot/github_actions/cachix/install-nix-action-23
September 4, 2023 16:33 1h 12m 9s
Bump cachix/install-nix-action from 22 to 23 Nix CI for bundle coq-8.16 #704: Pull request #976 opened by dependabot bot
September 4, 2023 16:33 15m 7s dependabot/github_actions/cachix/install-nix-action-23
dependabot/github_actions/cachix/install-nix-action-23
September 4, 2023 16:33 15m 7s
Bump cachix/install-nix-action from 22 to 23 MetaCoq CI #2359: Commit e7ee5be pushed by dependabot bot
September 4, 2023 16:33 1h 36m 38s dependabot/github_actions/cachix/install-nix-action-23
dependabot/github_actions/cachix/install-nix-action-23
September 4, 2023 16:33 1h 36m 38s
Merge pull request #975 from herbelin/master+adapt-coq-pr17991-refold… MetaCoq CI #2358: Commit 657eb6a pushed by tabareau
August 31, 2023 16:43 1h 2m 4s main
main
August 31, 2023 16:43 1h 2m 4s
Merge pull request #975 from herbelin/master+adapt-coq-pr17991-refold… Nix CI for bundle coq-dev #58: Commit 657eb6a pushed by tabareau
August 31, 2023 16:43 2m 13s main
main
August 31, 2023 16:43 2m 13s
Merge pull request #975 from herbelin/master+adapt-coq-pr17991-refold… Nix CI for bundle coq-dev #58: Commit 657eb6a pushed by tabareau
August 31, 2023 16:43 7m 40s main
main
August 31, 2023 16:43 7m 40s
Adapt to coq PR #17991 which lets "simpl" refolds partial applications of fixpoints MetaCoq CI #2357: Pull request #975 opened by herbelin
August 31, 2023 15:14 59m 8s herbelin:master+adapt-coq-pr17991-refolding-by-simpl-of-fixpoint-partial-application
herbelin:master+adapt-coq-pr17991-refolding-by-simpl-of-fixpoint-partial-application
August 31, 2023 15:14 59m 8s
Adapt to coq PR #17991 which lets "simpl" refolds partial applications of fixpoints Nix CI for bundle coq-dev #57: Pull request #975 opened by herbelin
August 31, 2023 15:14 55m 17s
August 31, 2023 15:14 55m 17s
Adapt to coq PR #17991 which lets "simpl" refolds partial applications of fixpoints Nix CI for bundle coq-dev #57: Pull request #975 opened by herbelin
August 31, 2023 15:14 1h 24m 30s
August 31, 2023 15:14 1h 24m 30s
Finished proof of firstorder correctness for erase_pcuic_program MetaCoq CI #2356: Commit 38b7abb pushed by mattam82
August 31, 2023 10:12 1h 14m 30s verified_erasure_pipeline
verified_erasure_pipeline
August 31, 2023 10:12 1h 14m 30s
ProTip! You can narrow down the results and go further in time using created:<2023-08-31 or the other filters available.