Skip to content

Actions: AU-COBRA/ConCert

Actions

Nix CI for bundle 8.20

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-8.20.yml
49 workflow runs
49 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump extraction dependencies Nix CI for bundle 8.20 #24: Pull request #269 synchronize by 4ever2
14m 28s
14m 28s
Bump extraction dependencies Nix CI for bundle 8.20 #23: Pull request #269 opened by 4ever2
6m 45s
6m 45s
bumped to 8.20 (#268) Nix CI for bundle 8.20 #22: Commit 5af6806 pushed by 4ever2
15m 26s master
master
15m 26s
[8.20] Update setup-ocaml action to v3 (#266) Nix CI for bundle 8.20 #21: Commit 491140a pushed by 4ever2
3m 34s master
master
3m 34s
[8.20] Update setup-ocaml action to v3 Nix CI for bundle 8.20 #20: Pull request #266 opened by 4ever2
14m 42s
14m 42s
[8.20] Update rust setup action (#264) Nix CI for bundle 8.20 #19: Commit 1b06141 pushed by 4ever2
15m 8s master
master
15m 8s
[8.20] Update rust setup action Nix CI for bundle 8.20 #18: Pull request #264 opened by 4ever2
14m 58s
14m 58s
Bump cachix/cachix-action from 15 to 16 (#262) Nix CI for bundle 8.20 #17: Commit c5ba97c pushed by 4ever2
15m 7s master
master
15m 7s
Bump cachix/install-nix-action from 30 to 31 (#261) Nix CI for bundle 8.20 #16: Commit f5e37a5 pushed by 4ever2
14m 27s master
master
14m 27s
Bump cachix/cachix-action from 15 to 16 Nix CI for bundle 8.20 #15: Pull request #262 opened by dependabot bot
15m 2s dependabot/github_actions/cachix/cachix-action-16
dependabot/github_actions/cachix/cachix-action-16
15m 2s
Bump cachix/install-nix-action from 30 to 31 Nix CI for bundle 8.20 #14: Pull request #261 opened by dependabot bot
14m 39s dependabot/github_actions/cachix/install-nix-action-31
dependabot/github_actions/cachix/install-nix-action-31
14m 39s
[8.20] Bump MetaCoq version (#260) Nix CI for bundle 8.20 #13: Commit a1fa355 pushed by 4ever2
14m 58s master
master
14m 58s
[8.20] Bump MetaCoq version Nix CI for bundle 8.20 #12: Pull request #260 synchronize by 4ever2
16m 47s 4ever2:deps20
4ever2:deps20
16m 47s
[8.20] Bump MetaCoq version Nix CI for bundle 8.20 #11: Pull request #260 synchronize by 4ever2
16m 59s
16m 59s
[8.20] Bump MetaCoq version Nix CI for bundle 8.20 #10: Pull request #260 synchronize by 4ever2
6m 11s 4ever2:deps20
4ever2:deps20
6m 11s
[8.20] Bump MetaCoq version Nix CI for bundle 8.20 #9: Pull request #260 synchronize by 4ever2
6m 27s
6m 27s
[8.20] Bump MetaCoq version Nix CI for bundle 8.20 #8: Pull request #260 synchronize by 4ever2
2m 52s 4ever2:deps20
4ever2:deps20
2m 52s
[8.20] Bump MetaCoq version Nix CI for bundle 8.20 #7: Pull request #260 synchronize by 4ever2
3m 59s
3m 59s
[8.20] Bump MetaCoq version Nix CI for bundle 8.20 #6: Pull request #260 opened by 4ever2
3s 4ever2:deps20
4ever2:deps20
3s
[8.20] Bump MetaCoq version Nix CI for bundle 8.20 #5: Pull request #260 opened by 4ever2
6m 0s
6m 0s
Support Coq 8.20 (#258) Nix CI for bundle 8.20 #4: Commit 606294e pushed by 4ever2
49m 56s master
master
49m 56s
Support Coq 8.20 Nix CI for bundle 8.20 #3: Pull request #258 synchronize by 4ever2
1h 47m 48s 4ever2:coq20
4ever2:coq20
1h 47m 48s
Support Coq 8.20 Nix CI for bundle 8.20 #2: Pull request #258 synchronize by 4ever2
23m 20s 4ever2:coq20
4ever2:coq20
23m 20s
Support Coq 8.20 Nix CI for bundle 8.20 #1: Pull request #258 opened by 4ever2
3m 31s 4ever2:coq20
4ever2:coq20
3m 31s