Skip to content

Actions: AU-COBRA/ConCert

Actions

Nix CI for bundle 8.19

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
15 workflow runs
15 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[8.19] Update setup-ocaml action to v3 Nix CI for bundle 8.19 #18: Pull request #265 opened by 4ever2
14m 54s
14m 54s
[8.19] Update rust setup action Nix CI for bundle 8.19 #17: Pull request #263 opened by 4ever2
15m 51s
15m 51s
[8.19] Bump MetaCoq version Nix CI for bundle 8.19 #16: Pull request #259 synchronize by 4ever2
15m 10s 4ever2:deps19
4ever2:deps19
15m 10s
[8.19] Bump MetaCoq version Nix CI for bundle 8.19 #15: Pull request #259 synchronize by 4ever2
14m 56s
14m 56s
[8.19] Bump MetaCoq version Nix CI for bundle 8.19 #14: Pull request #259 opened by 4ever2
15m 39s 4ever2:deps19
4ever2:deps19
15m 39s
[8.19] Bump MetaCoq version Nix CI for bundle 8.19 #13: Pull request #259 opened by 4ever2
15m 50s
15m 50s
Support Coq 8.20 Nix CI for bundle 8.19 #12: Pull request #258 synchronize by 4ever2
50s
50s
Support Coq 8.20 Nix CI for bundle 8.19 #11: Pull request #258 synchronize by 4ever2
5m 27s 4ever2:coq20
4ever2:coq20
5m 27s
Support Coq 8.20 Nix CI for bundle 8.19 #10: Pull request #258 synchronize by 4ever2
5m 9s
5m 9s
Support Coq 8.20 Nix CI for bundle 8.19 #9: Pull request #258 opened by 4ever2
3m 17s 4ever2:coq20
4ever2:coq20
3m 17s
Support Coq 8.20 Nix CI for bundle 8.19 #8: Pull request #258 opened by 4ever2
5m 25s
5m 25s
Nix setup (#250) Nix CI for bundle 8.19 #7: Commit 5e8c146 pushed by 4ever2
55m 0s master
master
55m 0s
Nix setup Nix CI for bundle 8.19 #6: Pull request #250 synchronize by 4ever2
1h 57m 18s 4ever2:nix
4ever2:nix
1h 57m 18s
Nix setup Nix CI for bundle 8.19 #5: Pull request #250 synchronize by 4ever2
5m 59s 4ever2:nix
4ever2:nix
5m 59s
Nix setup Nix CI for bundle 8.19 #4: Pull request #250 synchronize by 4ever2
55s 4ever2:nix
4ever2:nix
55s