Skip to content

Actions: MetaCoq/metacoq

Actions

Nix CI for bundle coq-8.16

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
46 workflow runs
46 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump cachix/cachix-action from 13 to 14 Nix CI for bundle coq-8.16 #740: Pull request #1037 opened by dependabot bot
January 12, 2024 16:55 1h 17m 28s dependabot/github_actions/cachix/cachix-action-14
dependabot/github_actions/cachix/cachix-action-14
January 12, 2024 16:55 1h 17m 28s
Bump cachix/cachix-action from 13 to 14 Nix CI for bundle coq-8.16 #739: Pull request #1037 opened by dependabot bot
January 12, 2024 16:55 1h 2m 42s
January 12, 2024 16:55 1h 2m 42s
Bump cachix/cachix-action from 13 to 14 Nix CI for bundle coq-8.16 #738: Pull request #1036 opened by dependabot bot
January 12, 2024 16:23 1h 5m 45s
January 12, 2024 16:23 1h 5m 45s
Bump cachix/cachix-action from 13 to 14 Nix CI for bundle coq-8.16 #737: Pull request #1036 opened by dependabot bot
January 12, 2024 16:23 1h 1m 12s dependabot/github_actions/coq-8.16/cachix/cachix-action-14
dependabot/github_actions/coq-8.16/cachix/cachix-action-14
January 12, 2024 16:23 1h 1m 12s
Primitive flags Nix CI for bundle coq-8.16 #736: Pull request #1032 opened by mattam82
December 21, 2023 17:06 15m 33s
December 21, 2023 17:06 15m 33s
Primitive evaluation Nix CI for bundle coq-8.16 #735: Pull request #1026 opened by mattam82
December 4, 2023 14:15 14m 54s
December 4, 2023 14:15 14m 54s
Update dependabot.yml to update coq-8.18 Nix CI for bundle coq-8.16 #734: Commit ef846e1 pushed by JasonGross
November 28, 2023 19:29 1h 14m 39s coq-8.16
coq-8.16
November 28, 2023 19:29 1h 14m 39s
Bump cachix/cachix-action from 12 to 13 (#1021) Nix CI for bundle coq-8.16 #733: Commit 7006c4e pushed by JasonGross
November 28, 2023 19:26 1h 19m 42s coq-8.16
coq-8.16
November 28, 2023 19:26 1h 19m 42s
Bump cachix/cachix-action from 12 to 13 (#1018) Nix CI for bundle coq-8.16 #732: Commit 41c1f62 pushed by JasonGross
November 28, 2023 19:26 1h 7m 32s coq-8.16
coq-8.16
November 28, 2023 19:26 1h 7m 32s
Bump cachix/install-nix-action from 23 to 24 (#1019) Nix CI for bundle coq-8.16 #731: Commit 69f90ba pushed by JasonGross
November 28, 2023 19:26 6m 28s coq-8.16
coq-8.16
November 28, 2023 19:26 6m 28s
Bump cachix/install-nix-action from 23 to 24 (#1020) Nix CI for bundle coq-8.16 #730: Commit 96d74d1 pushed by JasonGross
November 28, 2023 19:25 19m 49s coq-8.16
coq-8.16
November 28, 2023 19:25 19m 49s
Bump cachix/cachix-action from 12 to 13 Nix CI for bundle coq-8.16 #729: Pull request #1021 opened by dependabot bot
November 28, 2023 16:56 51m 32s dependabot/github_actions/coq-8.16/cachix/cachix-action-13
dependabot/github_actions/coq-8.16/cachix/cachix-action-13
November 28, 2023 16:56 51m 32s
Bump cachix/cachix-action from 12 to 13 Nix CI for bundle coq-8.16 #728: Pull request #1021 opened by dependabot bot
November 28, 2023 16:56 49m 43s
November 28, 2023 16:56 49m 43s
Bump cachix/install-nix-action from 23 to 24 Nix CI for bundle coq-8.16 #727: Pull request #1020 opened by dependabot bot
November 28, 2023 16:56 1h 9m 7s
November 28, 2023 16:56 1h 9m 7s
Bump cachix/install-nix-action from 23 to 24 Nix CI for bundle coq-8.16 #726: Pull request #1020 opened by dependabot bot
November 28, 2023 16:56 1h 19m 51s dependabot/github_actions/coq-8.16/cachix/install-nix-action-24
dependabot/github_actions/coq-8.16/cachix/install-nix-action-24
November 28, 2023 16:56 1h 19m 51s
Bump cachix/install-nix-action from 23 to 24 Nix CI for bundle coq-8.16 #725: Pull request #1019 opened by dependabot bot
November 28, 2023 16:38 1h 5m 39s dependabot/github_actions/cachix/install-nix-action-24
dependabot/github_actions/cachix/install-nix-action-24
November 28, 2023 16:38 1h 5m 39s
Bump cachix/install-nix-action from 23 to 24 Nix CI for bundle coq-8.16 #724: Pull request #1019 opened by dependabot bot
November 28, 2023 16:38 1h 9m 19s
November 28, 2023 16:38 1h 9m 19s
Bump cachix/cachix-action from 12 to 13 Nix CI for bundle coq-8.16 #723: Pull request #1018 opened by dependabot bot
November 28, 2023 16:37 51m 15s
November 28, 2023 16:37 51m 15s
Bump cachix/cachix-action from 12 to 13 Nix CI for bundle coq-8.16 #722: Pull request #1018 opened by dependabot bot
November 28, 2023 16:37 1h 14m 57s dependabot/github_actions/cachix/cachix-action-13
dependabot/github_actions/cachix/cachix-action-13
November 28, 2023 16:37 1h 14m 57s
Stack overflow 8.17 Nix CI for bundle coq-8.16 #721: Pull request #1017 opened by mattam82
November 28, 2023 13:30 11m 24s
November 28, 2023 13:30 11m 24s
Fix Makefile and opam for 8.18 Nix CI for bundle coq-8.16 #720: Pull request #1002 opened by yforster
November 1, 2023 13:32 2m 59s
November 1, 2023 13:32 2m 59s