Skip to content

Actions: MetaCoq/metacoq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
659 workflow runs
659 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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.