Skip to content

Actions: MetaCoq/metacoq

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
1,914 workflow runs
1,914 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Adapt to coq/coq#18973. MetaCoq CI #2773: Pull request #1088 opened by rlepigre
June 4, 2024 14:36 2m 41s rlepigre:br/prim-string
rlepigre:br/prim-string
June 4, 2024 14:36 2m 41s
Merge pull request #1083 from herbelin/main+adapt-coq-pr18795-more-un… MetaCoq CI #2772: Commit 35dbb48 pushed by ppedrot
May 28, 2024 15:41 2m 21s main
main
May 28, 2024 15:41 2m 21s
Correcting the definition of noccur_between in Template – main branch MetaCoq CI #2771: Pull request #1087 opened by MevenBertrand
May 23, 2024 15:07 35m 22s MevenBertrand:correct-noccur-main
MevenBertrand:correct-noccur-main
May 23, 2024 15:07 35m 22s
Make scripts more robust when using simp and solving the goal trivially. MetaCoq CI #2770: Commit d6e0f45 pushed by mattam82
May 23, 2024 10:09 35m 38s main
main
May 23, 2024 10:09 35m 38s
Merge pull request #1085 from MetaCoq/fixes-for-funelim MetaCoq CI #2769: Commit d1f8f55 pushed by mattam82
May 22, 2024 12:17 36m 24s main
main
May 22, 2024 12:17 36m 24s
Fixes for funelim MetaCoq CI #2768: Pull request #1085 synchronize by mattam82
May 22, 2024 09:43 27m 48s fixes-for-funelim
fixes-for-funelim
May 22, 2024 09:43 27m 48s
Fixes for compatibility with Coq master MetaCoq CI #2767: Commit 526bc84 pushed by mattam82
May 22, 2024 09:43 27m 10s fixes-for-funelim
fixes-for-funelim
May 22, 2024 09:43 27m 10s
Fixes for funelim MetaCoq CI #2766: Pull request #1085 opened by mattam82
May 22, 2024 07:47 27m 8s fixes-for-funelim
fixes-for-funelim
May 22, 2024 07:47 27m 8s
Backward compatible fixes for update of equations funelim tactic bugfix. MetaCoq CI #2765: Commit 8bb76fb pushed by mattam82
May 22, 2024 07:47 27m 16s fixes-for-funelim
fixes-for-funelim
May 22, 2024 07:47 27m 16s
Bump cachix/install-nix-action from 25 to 27 (#1082) MetaCoq CI #2764: Commit 2f51e64 pushed by JasonGross
May 20, 2024 17:11 29m 59s coq-8.16
coq-8.16
May 20, 2024 17:11 29m 59s
Bump cachix/install-nix-action from 25 to 27 (#1082) Nix CI for bundle coq-8.16 #755: Commit 2f51e64 pushed by JasonGross
May 20, 2024 17:11 32m 15s coq-8.16
coq-8.16
May 20, 2024 17:11 32m 15s
Bump cachix/install-nix-action from 25 to 27 (#1082) Nix CI for bundle coq-8.16 #757: Commit 2f51e64 pushed by JasonGross
May 20, 2024 17:11 32m 30s coq-8.16
coq-8.16
May 20, 2024 17:11 32m 30s
Bump cachix/cachix-action from 14 to 15 (#1084) MetaCoq CI #2763: Commit d89a530 pushed by JasonGross
May 20, 2024 17:11 29m 28s coq-8.16
coq-8.16
May 20, 2024 17:11 29m 28s
Bump cachix/cachix-action from 14 to 15 (#1084) Nix CI for bundle coq-8.16 #754: Commit d89a530 pushed by JasonGross
May 20, 2024 17:11 2m 4s coq-8.16
coq-8.16
May 20, 2024 17:11 2m 4s
Bump cachix/cachix-action from 14 to 15 (#1084) Nix CI for bundle coq-8.16 #756: Commit d89a530 pushed by JasonGross
May 20, 2024 17:11 3m 51s coq-8.16
coq-8.16
May 20, 2024 17:11 3m 51s
Bump cachix/cachix-action from 14 to 15 Nix CI for bundle coq-8.16 #753: Pull request #1084 opened by dependabot bot
May 20, 2024 16:19 32m 45s 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 32m 45s
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