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

Bump cachix/cachix-action from 14 to 15 Nix CI for bundle coq-8.16 #752: Pull request #1084 opened by dependabot bot
May 20, 2024 16:19 33m 7s
May 20, 2024 16:19 33m 7s
Bump cachix/cachix-action from 14 to 15 MetaCoq CI #2762: Pull request #1084 opened by dependabot bot
May 20, 2024 16:19 29m 38s dependabot/github_actions/coq-8.16/cachix/cachix-action-15
dependabot/github_actions/coq-8.16/cachix/cachix-action-15
May 20, 2024 16:19 29m 38s
Bump cachix/cachix-action from 14 to 15 Nix CI for bundle coq-8.16 #755: Pull request #1084 opened by dependabot bot
May 20, 2024 16:19 31m 1s
May 20, 2024 16:19 31m 1s
Bump cachix/cachix-action from 14 to 15 Nix CI for bundle coq-8.16 #754: Pull request #1084 opened by dependabot bot
May 20, 2024 16:19 33m 30s dependabot/github_actions/coq-8.16/cachix/cachix-action-15
dependabot/github_actions/coq-8.16/cachix/cachix-action-15
May 20, 2024 16:19 33m 30s
Bump cachix/cachix-action from 14 to 15 MetaCoq CI #2761: Commit c2452df pushed by dependabot bot
May 20, 2024 16:19 29m 49s dependabot/github_actions/coq-8.16/cachix/cachix-action-15
dependabot/github_actions/coq-8.16/cachix/cachix-action-15
May 20, 2024 16:19 29m 49s
Adapt to Coq PR #18795 (more uniform API for declare.ml) MetaCoq CI #2760: Pull request #1083 synchronize by herbelin
May 20, 2024 11:26 17m 31s herbelin:main+adapt-coq-pr18795-more-uniform-declare.ml
herbelin:main+adapt-coq-pr18795-more-uniform-declare.ml
May 20, 2024 11:26 17m 31s
Adapt to Coq PR #18795 (more uniform API for declare.ml) MetaCoq CI #2759: Pull request #1083 opened by herbelin
May 20, 2024 11:20 6m 33s herbelin:main+adapt-coq-pr18795-more-uniform-declare.ml
herbelin:main+adapt-coq-pr18795-more-uniform-declare.ml
May 20, 2024 11:20 6m 33s
Bump cachix/install-nix-action from 25 to 27 MetaCoq CI #2758: Pull request #1082 opened by dependabot bot
May 15, 2024 16:13 30m 8s dependabot/github_actions/coq-8.16/cachix/install-nix-action-27
dependabot/github_actions/coq-8.16/cachix/install-nix-action-27
May 15, 2024 16:13 30m 8s
Bump cachix/install-nix-action from 25 to 27 Nix CI for bundle coq-8.16 #751: Pull request #1082 opened by dependabot bot
May 15, 2024 16:13 33m 1s dependabot/github_actions/coq-8.16/cachix/install-nix-action-27
dependabot/github_actions/coq-8.16/cachix/install-nix-action-27
May 15, 2024 16:13 33m 1s
Bump cachix/install-nix-action from 25 to 27 Nix CI for bundle coq-8.16 #753: Pull request #1082 opened by dependabot bot
May 15, 2024 16:13 36m 33s dependabot/github_actions/coq-8.16/cachix/install-nix-action-27
dependabot/github_actions/coq-8.16/cachix/install-nix-action-27
May 15, 2024 16:13 36m 33s
Bump cachix/install-nix-action from 25 to 27 Nix CI for bundle coq-8.16 #752: Pull request #1082 opened by dependabot bot
May 15, 2024 16:13 32m 53s
May 15, 2024 16:13 32m 53s
Bump cachix/install-nix-action from 25 to 27 Nix CI for bundle coq-8.16 #750: Pull request #1082 opened by dependabot bot
May 15, 2024 16:13 32m 30s
May 15, 2024 16:13 32m 30s
Bump cachix/install-nix-action from 25 to 27 MetaCoq CI #2757: Commit b4b7dc4 pushed by dependabot bot
May 15, 2024 16:13 29m 54s dependabot/github_actions/coq-8.16/cachix/install-nix-action-27
dependabot/github_actions/coq-8.16/cachix/install-nix-action-27
May 15, 2024 16:13 29m 54s
faster PCUICSR MetaCoq CI #2756: Pull request #1081 opened by mrhaandi
May 8, 2024 13:19 31m 47s mrhaandi:faster-PCUICSR
mrhaandi:faster-PCUICSR
May 8, 2024 13:19 31m 47s
Merge pull request #1080 from SkySkimmer/erelevance MetaCoq CI #2755: Commit e27b549 pushed by ppedrot
April 23, 2024 17:17 2m 17s main
main
April 23, 2024 17:17 2m 17s
Adapt to coq/coq#18938 (EConstr.ERelevance) MetaCoq CI #2754: Pull request #1080 ready_for_review by ppedrot
April 23, 2024 17:17 2m 9s SkySkimmer:erelevance
SkySkimmer:erelevance
April 23, 2024 17:17 2m 9s
Merge pull request #1073 from SkySkimmer/non-prop-template MetaCoq CI #2753: Commit d8c5fe0 pushed by ppedrot
April 18, 2024 19:26 36m 28s main
main
April 18, 2024 19:26 36m 28s
Adapt to coq/coq#18867 (inductive_sort_family doesn't exist) MetaCoq CI #2752: Pull request #1073 ready_for_review by ppedrot
April 18, 2024 19:26 35m 57s SkySkimmer:non-prop-template
SkySkimmer:non-prop-template
April 18, 2024 19:26 35m 57s
Adapt to coq/coq#18938 (EConstr.ERelevance) MetaCoq CI #2751: Pull request #1080 opened by SkySkimmer
April 17, 2024 12:25 14m 44s SkySkimmer:erelevance
SkySkimmer:erelevance
April 17, 2024 12:25 14m 44s
Merge pull request #1078 from herbelin/main+adapt-coq-pr18921-program… MetaCoq CI #2750: Commit 1e2bbd0 pushed by ppedrot
April 13, 2024 14:40 24m 9s main
main
April 13, 2024 14:40 24m 9s
Adapt to coq PR #18921 fixing bugs of the inference of the return clause for Program-style pattern-matching MetaCoq CI #2748: Pull request #1078 opened by herbelin
April 11, 2024 17:00 24m 32s herbelin:main+adapt-coq-pr18921-program-return-clause
herbelin:main+adapt-coq-pr18921-program-return-clause
April 11, 2024 17:00 24m 32s
Merge pull request #1077 from ppedrot/hint-using-strict-globref MetaCoq CI #2747: Commit eb4ea19 pushed by ppedrot
April 9, 2024 20:34 33m 24s main
main
April 9, 2024 20:34 33m 24s
Adapt w.r.t. coq/coq#18909. MetaCoq CI #2746: Pull request #1077 opened by ppedrot
April 9, 2024 19:33 33m 58s ppedrot:hint-using-strict-globref
ppedrot:hint-using-strict-globref
April 9, 2024 19:33 33m 58s
Merge pull request #1076 from ppedrot/setoid-type-core-tc-opaque MetaCoq CI #2745: Commit 74918fc pushed by ppedrot
April 9, 2024 15:30 33m 0s main
main
April 9, 2024 15:30 33m 0s
Adapt w.r.t. coq/coq#18910. MetaCoq CI #2744: Pull request #1076 opened by ppedrot
April 9, 2024 13:38 34m 19s ppedrot:setoid-type-core-tc-opaque
ppedrot:setoid-type-core-tc-opaque
April 9, 2024 13:38 34m 19s