Skip to content

Actions: MetaCoq/metacoq

Actions

Nix CI for bundle coq-8.16

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
60 workflow runs
60 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump cachix/install-nix-action from V28 to 30 (#1105) Nix CI for bundle coq-8.16 #763: Commit 8359679 pushed by dependabot bot
October 16, 2024 19:38 2m 9s coq-8.16
coq-8.16
October 16, 2024 19:38 2m 9s
Bump cachix/install-nix-action from V28 to 30 Nix CI for bundle coq-8.16 #762: Pull request #1105 opened by dependabot bot
October 3, 2024 16:26 33m 47s dependabot/github_actions/coq-8.16/cachix/install-nix-action-v30
dependabot/github_actions/coq-8.16/cachix/install-nix-action-v30
October 3, 2024 16:26 33m 47s
Bump cachix/install-nix-action from V28 to 30 Nix CI for bundle coq-8.16 #761: Pull request #1105 opened by dependabot bot
October 3, 2024 16:26 33m 30s
October 3, 2024 16:26 33m 30s
Bump cachix/install-nix-action from V28 to 29 Nix CI for bundle coq-8.16 #760: Pull request #1103 opened by dependabot bot
September 26, 2024 16:55 33m 45s
September 26, 2024 16:55 33m 45s
Bump cachix/install-nix-action from V28 to 29 Nix CI for bundle coq-8.16 #759: Pull request #1103 opened by dependabot bot
September 26, 2024 16:55 33m 30s dependabot/github_actions/coq-8.16/cachix/install-nix-action-v29
dependabot/github_actions/coq-8.16/cachix/install-nix-action-v29
September 26, 2024 16:55 33m 30s
Bump cachix/install-nix-action from V27 to 28 (#1100) Nix CI for bundle coq-8.16 #758: Commit 7943c6d pushed by mattam82
September 16, 2024 09:13 2m 7s coq-8.16
coq-8.16
September 16, 2024 09:13 2m 7s
Bump cachix/install-nix-action from V27 to 28 Nix CI for bundle coq-8.16 #757: Pull request #1100 opened by dependabot bot
September 12, 2024 16:23 33m 20s
September 12, 2024 16:23 33m 20s
Bump cachix/install-nix-action from V27 to 28 Nix CI for bundle coq-8.16 #756: Pull request #1100 opened by dependabot bot
September 12, 2024 16:23 32m 49s dependabot/github_actions/coq-8.16/cachix/install-nix-action-V28
dependabot/github_actions/coq-8.16/cachix/install-nix-action-V28
September 12, 2024 16:23 32m 49s
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/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 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/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 #750: Pull request #1082 opened by dependabot bot
May 15, 2024 16:13 32m 30s
May 15, 2024 16:13 32m 30s
Merge pull request #956 from JasonGross/coq-8.16+timing Nix CI for bundle coq-8.16 #749: Commit cbb1ca1 pushed by mattam82
March 15, 2024 14:52 32m 9s coq-8.16
coq-8.16
March 15, 2024 14:52 32m 9s
Merge pull request #958 from JasonGross/coq-8.16+better-monad-errors Nix CI for bundle coq-8.16 #748: Commit 969790e pushed by mattam82
March 15, 2024 14:50 34m 3s coq-8.16
coq-8.16
March 15, 2024 14:50 34m 3s
Bump cachix/install-nix-action from 25 to 26 Nix CI for bundle coq-8.16 #747: Pull request #1067 opened by dependabot bot
March 8, 2024 16:29 32m 58s
March 8, 2024 16:29 32m 58s
Bump cachix/install-nix-action from 25 to 26 Nix CI for bundle coq-8.16 #746: Pull request #1067 opened by dependabot bot
March 8, 2024 16:29 32m 47s dependabot/github_actions/coq-8.16/cachix/install-nix-action-26
dependabot/github_actions/coq-8.16/cachix/install-nix-action-26
March 8, 2024 16:29 32m 47s
Bump cachix/install-nix-action from 24 to 25 (#1038) Nix CI for bundle coq-8.16 #745: Commit 3704614 pushed by JasonGross
January 24, 2024 17:04 3m 38s coq-8.16
coq-8.16
January 24, 2024 17:04 3m 38s
Bump cachix/install-nix-action from 24 to 25 Nix CI for bundle coq-8.16 #744: Pull request #1039 opened by dependabot bot
January 15, 2024 17:02 3m 29s
January 15, 2024 17:02 3m 29s
Bump cachix/install-nix-action from 24 to 25 Nix CI for bundle coq-8.16 #743: Pull request #1039 opened by dependabot bot
January 15, 2024 17:02 3m 29s dependabot/github_actions/cachix/install-nix-action-25
dependabot/github_actions/cachix/install-nix-action-25
January 15, 2024 17:02 3m 29s
Bump cachix/install-nix-action from 24 to 25 Nix CI for bundle coq-8.16 #742: Pull request #1038 opened by dependabot bot
January 15, 2024 16:08 34m 10s dependabot/github_actions/coq-8.16/cachix/install-nix-action-25
dependabot/github_actions/coq-8.16/cachix/install-nix-action-25
January 15, 2024 16:08 34m 10s
Bump cachix/install-nix-action from 24 to 25 Nix CI for bundle coq-8.16 #741: Pull request #1038 opened by dependabot bot
January 15, 2024 16:08 35m 5s
January 15, 2024 16:08 35m 5s
Bump cachix/cachix-action from 13 to 14 (#1036) Nix CI for bundle coq-8.16 #740: Commit ceda84e pushed by JasonGross
January 13, 2024 10:38 3m 21s coq-8.16
coq-8.16
January 13, 2024 10:38 3m 21s
Bump cachix/cachix-action from 13 to 14 (#1037) Nix CI for bundle coq-8.16 #739: Commit 2495917 pushed by JasonGross
January 13, 2024 10:38 3m 29s coq-8.16
coq-8.16
January 13, 2024 10:38 3m 29s