Skip to content

Actions: AU-COBRA/coq-elm-extraction

Actions

Nix CI for bundle 8.19

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-8.19.yml
56 workflow runs
56 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #38 from AU-COBRA/nix-0.1.1 Nix CI for bundle 8.19 #56: Commit aab26bc pushed by 4ever2
May 27, 2025 11:03 3m 6s master
master
May 27, 2025 11:03 3m 6s
Add 0.1.1 release to Nix config Nix CI for bundle 8.19 #55: Pull request #38 opened by 4ever2
May 23, 2025 09:13 4m 5s
May 23, 2025 09:13 4m 5s
Merge pull request #37 from AU-COBRA/coq9 Nix CI for bundle 8.19 #54: Commit 38a85dd pushed by 4ever2
May 22, 2025 15:41 2m 30s master
master
May 22, 2025 15:41 2m 30s
Support Coq 9.0 Nix CI for bundle 8.19 #53: Pull request #37 opened by 4ever2
May 22, 2025 14:15 4m 13s coq9
coq9
May 22, 2025 14:15 4m 13s
Support Coq 9.0 Nix CI for bundle 8.19 #52: Pull request #37 opened by 4ever2
May 22, 2025 14:15 4m 15s
May 22, 2025 14:15 4m 15s
Merge pull request #36 from AU-COBRA/ocaml-action Nix CI for bundle 8.19 #51: Commit 2eb8ddc pushed by 4ever2
May 8, 2025 17:19 2m 29s master
master
May 8, 2025 17:19 2m 29s
Update setup-ocaml action to v3 Nix CI for bundle 8.19 #50: Pull request #36 opened by 4ever2
May 8, 2025 16:15 4m 26s
May 8, 2025 16:15 4m 26s
Merge pull request #35 from AU-COBRA/dependabot/github_actions/cachix… Nix CI for bundle 8.19 #49: Commit 4427f9e pushed by 4ever2
March 17, 2025 10:03 4m 12s master
master
March 17, 2025 10:03 4m 12s
Merge pull request #34 from AU-COBRA/dependabot/github_actions/cachix… Nix CI for bundle 8.19 #48: Commit b5e306f pushed by 4ever2
March 17, 2025 10:03 42s master
master
March 17, 2025 10:03 42s
Bump cachix/cachix-action from 15 to 16 Nix CI for bundle 8.19 #47: Pull request #35 opened by dependabot bot
March 17, 2025 01:11 3m 58s dependabot/github_actions/cachix/cachix-action-16
dependabot/github_actions/cachix/cachix-action-16
March 17, 2025 01:11 3m 58s
Bump cachix/cachix-action from 15 to 16 Nix CI for bundle 8.19 #46: Pull request #35 opened by dependabot bot
March 17, 2025 01:11 2s
March 17, 2025 01:11 2s
Bump cachix/install-nix-action from 30 to 31 Nix CI for bundle 8.19 #45: Pull request #34 opened by dependabot bot
March 17, 2025 01:11 4m 2s dependabot/github_actions/cachix/install-nix-action-31
dependabot/github_actions/cachix/install-nix-action-31
March 17, 2025 01:11 4m 2s
Bump cachix/install-nix-action from 30 to 31 Nix CI for bundle 8.19 #44: Pull request #34 opened by dependabot bot
March 17, 2025 01:11 2s
March 17, 2025 01:11 2s
Merge pull request #33 from AU-COBRA/deps Nix CI for bundle 8.19 #43: Commit 188e44e pushed by 4ever2
January 29, 2025 18:16 3m 58s master
master
January 29, 2025 18:16 3m 58s
Bump MetaCoq version Nix CI for bundle 8.19 #42: Pull request #33 synchronize by 4ever2
January 29, 2025 18:09 3m 59s deps
deps
January 29, 2025 18:09 3m 59s
Bump MetaCoq version Nix CI for bundle 8.19 #41: Pull request #33 synchronize by 4ever2
January 29, 2025 18:09 4m 19s
January 29, 2025 18:09 4m 19s
Bump MetaCoq version Nix CI for bundle 8.19 #40: Pull request #33 opened by 4ever2
January 29, 2025 11:04 1m 44s deps
deps
January 29, 2025 11:04 1m 44s
Bump MetaCoq version Nix CI for bundle 8.19 #39: Pull request #33 opened by 4ever2
January 29, 2025 11:04 1m 35s
January 29, 2025 11:04 1m 35s
Merge pull request #32 from AU-COBRA/bytestrings Nix CI for bundle 8.19 #38: Commit 5bd24ca pushed by 4ever2
January 28, 2025 21:53 4m 4s master
master
January 28, 2025 21:53 4m 4s
Switch to bytestrings Nix CI for bundle 8.19 #37: Pull request #32 synchronize by 4ever2
January 28, 2025 21:47 3m 59s
January 28, 2025 21:47 3m 59s
Switch to bytestrings Nix CI for bundle 8.19 #36: Pull request #32 synchronize by 4ever2
January 28, 2025 21:40 4m 6s
January 28, 2025 21:40 4m 6s
Switch to bytestrings Nix CI for bundle 8.19 #35: Pull request #32 opened by 4ever2
January 28, 2025 21:17 4m 21s
January 28, 2025 21:17 4m 21s
Merge pull request #31 from AU-COBRA/CI Nix CI for bundle 8.19 #34: Commit 79ae2bd pushed by 4ever2
January 14, 2025 14:55 2m 19s master
master
January 14, 2025 14:55 2m 19s
Use ubuntu-22.04 in CI Nix CI for bundle 8.19 #33: Pull request #31 opened by 4ever2
January 14, 2025 14:43 4m 9s
January 14, 2025 14:43 4m 9s
Merge pull request #30 from AU-COBRA/CI Nix CI for bundle 8.19 #32: Commit 1ae7966 pushed by 4ever2
January 14, 2025 13:40 4m 0s master
master
January 14, 2025 13:40 4m 0s