Skip to content

Actions: AU-COBRA/coq-elm-extraction

Actions

Nix CI for bundle 8.17

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-8.17.yml
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #29 from AU-COBRA/dependabot/github_actions/cachix… Nix CI for bundle 8.17 #30: Commit ad78721 pushed by 4ever2
October 7, 2024 10:26 3m 54s master
master
October 7, 2024 10:26 3m 54s
Bump cachix/install-nix-action from 29 to 30 Nix CI for bundle 8.17 #29: Pull request #29 opened by dependabot bot
October 7, 2024 01:09 4m 21s
October 7, 2024 01:09 4m 21s
Bump cachix/install-nix-action from 29 to 30 Nix CI for bundle 8.17 #28: Pull request #29 opened by dependabot bot
October 7, 2024 01:09 4m 20s dependabot/github_actions/cachix/install-nix-action-30
dependabot/github_actions/cachix/install-nix-action-30
October 7, 2024 01:09 4m 20s
Merge pull request #28 from AU-COBRA/dependabot/github_actions/cachix… Nix CI for bundle 8.17 #27: Commit 18ef3cc pushed by 4ever2
September 30, 2024 11:23 2m 21s master
master
September 30, 2024 11:23 2m 21s
Bump cachix/install-nix-action from V28 to 29 Nix CI for bundle 8.17 #26: Pull request #28 opened by dependabot bot
September 30, 2024 01:09 4m 15s
September 30, 2024 01:09 4m 15s
Bump cachix/install-nix-action from V28 to 29 Nix CI for bundle 8.17 #25: Pull request #28 opened by dependabot bot
September 30, 2024 01:09 4m 12s dependabot/github_actions/cachix/install-nix-action-v29
dependabot/github_actions/cachix/install-nix-action-v29
September 30, 2024 01:09 4m 12s
Merge pull request #27 from AU-COBRA/dependabot/github_actions/cachix… Nix CI for bundle 8.17 #24: Commit c2acf93 pushed by spitters
September 16, 2024 08:14 4m 3s master
master
September 16, 2024 08:14 4m 3s
Bump cachix/install-nix-action from 27 to 28 Nix CI for bundle 8.17 #23: Pull request #27 opened by dependabot bot
September 16, 2024 01:33 4m 1s dependabot/github_actions/cachix/install-nix-action-28
dependabot/github_actions/cachix/install-nix-action-28
September 16, 2024 01:33 4m 1s
Bump cachix/install-nix-action from 27 to 28 Nix CI for bundle 8.17 #22: Pull request #27 opened by dependabot bot
September 16, 2024 01:33 4m 7s
September 16, 2024 01:33 4m 7s
Merge pull request #26 from AU-COBRA/coq20 Nix CI for bundle 8.17 #21: Commit 3f97da8 pushed by 4ever2
September 11, 2024 12:29 3m 47s master
master
September 11, 2024 12:29 3m 47s
Coq 8.20 support Nix CI for bundle 8.17 #20: Pull request #26 synchronize by 4ever2
September 11, 2024 12:25 3m 54s coq20
coq20
September 11, 2024 12:25 3m 54s
Coq 8.20 support Nix CI for bundle 8.17 #19: Pull request #26 synchronize by 4ever2
September 11, 2024 12:25 2m 24s
September 11, 2024 12:25 2m 24s
Coq 8.20 support Nix CI for bundle 8.17 #18: Pull request #26 opened by 4ever2
September 10, 2024 19:14 2m 19s
September 10, 2024 19:14 2m 19s
Coq 8.20 support Nix CI for bundle 8.17 #17: Pull request #26 opened by 4ever2
September 10, 2024 19:14 4m 39s coq20
coq20
September 10, 2024 19:14 4m 39s
Merge pull request #25 from AU-COBRA/nix Nix CI for bundle 8.17 #16: Commit 2ddecd0 pushed by 4ever2
September 10, 2024 13:58 2m 32s master
master
September 10, 2024 13:58 2m 32s
Clean up nix files Nix CI for bundle 8.17 #15: Pull request #25 opened by 4ever2
September 10, 2024 13:53 4m 5s
September 10, 2024 13:53 4m 5s
Merge pull request #24 from AU-COBRA/gitattributes Nix CI for bundle 8.17 #14: Commit 18d0872 pushed by 4ever2
September 4, 2024 20:59 4m 0s master
master
September 4, 2024 20:59 4m 0s
Configure gitattributes Nix CI for bundle 8.17 #13: Pull request #24 opened by 4ever2
September 4, 2024 20:54 4m 6s
September 4, 2024 20:54 4m 6s
Merge pull request #23 from AU-COBRA/dependabot/github_actions/action… Nix CI for bundle 8.17 #12: Commit 44ff98b pushed by 4ever2
July 15, 2024 09:46 3m 48s master
master
July 15, 2024 09:46 3m 48s
Bump actions/checkout from 3 to 4 Nix CI for bundle 8.17 #11: Pull request #23 opened by dependabot bot
July 15, 2024 01:13 4m 4s
July 15, 2024 01:13 4m 4s
Bump actions/checkout from 3 to 4 Nix CI for bundle 8.17 #10: Pull request #23 opened by dependabot bot
July 15, 2024 01:13 4m 2s dependabot/github_actions/actions/checkout-4
dependabot/github_actions/actions/checkout-4
July 15, 2024 01:13 4m 2s
Merge pull request #22 from AU-COBRA/opam-fixes Nix CI for bundle 8.17 #9: Commit b040cd9 pushed by 4ever2
July 11, 2024 08:17 3m 44s master
master
July 11, 2024 08:17 3m 44s
Merge pull request #21 from AU-COBRA/nix-release Nix CI for bundle 8.17 #8: Commit df41402 pushed by 4ever2
July 10, 2024 21:53 2m 14s master
master
July 10, 2024 21:53 2m 14s
Configure 0.1.0 release in nix Nix CI for bundle 8.17 #7: Pull request #21 synchronize by 4ever2
July 10, 2024 21:49 3m 42s nix-release
nix-release
July 10, 2024 21:49 3m 42s
Configure 0.1.0 release in nix Nix CI for bundle 8.17 #6: Pull request #21 synchronize by 4ever2
July 10, 2024 21:49 3m 45s
July 10, 2024 21:49 3m 45s