Skip to content

Actions: CertiCoq/certicoq

Actions

Nix CI for bundle default

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-default.yml
43 workflow runs
43 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Port to Rocq 9.1 Nix CI for bundle default #43: Pull request #135 synchronize by 4ever2
Action required 4ever2:coq-9.1
4ever2:coq-9.1
Action required
Port to Rocq 9.1 Nix CI for bundle default #42: Pull request #135 synchronize by 4ever2
30m 14s
30m 14s
Move benchmarks to tests Nix CI for bundle default #41: Pull request #129 synchronize by rassmike
43m 21s
43m 21s
Port LambdaANF_to_Clight_correct.v to Coq 8.19 and advance correctness proof Nix CI for bundle default #40: Pull request #134 synchronize by CharlesCNorton
43m 32s
43m 32s
Port LambdaANF_to_Clight_correct.v to Coq 8.19 and advance correctness proof Nix CI for bundle default #39: Pull request #134 synchronize by CharlesCNorton
43m 10s
43m 10s
Port LambdaANF_to_Clight_correct.v to Coq 8.19 and advance correctness proof Nix CI for bundle default #38: Pull request #134 synchronize by CharlesCNorton
44m 17s
44m 17s
Port LambdaANF_to_Clight_correct.v to Coq 8.19 and advance correctness proof Nix CI for bundle default #37: Pull request #134 synchronize by CharlesCNorton
42m 34s
42m 34s
Port LambdaANF_to_Clight_correct.v to Coq 8.19 and advance correctness proof Nix CI for bundle default #36: Pull request #134 synchronize by CharlesCNorton
44m 2s
44m 2s
Port LambdaANF_to_Clight_correct.v to Coq 8.19 and advance correctness proof Nix CI for bundle default #35: Pull request #134 synchronize by CharlesCNorton
42m 57s
42m 57s
Port LambdaANF_to_Clight_correct.v to Coq 8.19 and advance correctness proof Nix CI for bundle default #34: Pull request #134 synchronize by CharlesCNorton
43m 0s
43m 0s
Port LambdaANF_to_Clight_correct.v to Coq 8.19 and advance correctness proof Nix CI for bundle default #33: Pull request #134 synchronize by CharlesCNorton
43m 44s
43m 44s
Port LambdaANF_to_Clight_correct.v to Coq 8.19 and advance correctness proof Nix CI for bundle default #32: Pull request #134 synchronize by CharlesCNorton
43m 59s
43m 59s
Port LambdaANF_to_Clight_correct.v to Coq 8.19 and advance correctness proof Nix CI for bundle default #31: Pull request #134 synchronize by CharlesCNorton
43m 25s
43m 25s
Move benchmarks to tests Nix CI for bundle default #30: Pull request #129 synchronize by rassmike
42m 42s
42m 42s
Move benchmarks to tests Nix CI for bundle default #29: Pull request #129 synchronize by rassmike
44m 25s
44m 25s
Port LambdaANF_to_Clight_correct.v to Coq 8.19 and advance correctness proof Nix CI for bundle default #28: Pull request #134 synchronize by CharlesCNorton
42m 37s
42m 37s
Port LambdaANF_to_Clight_correct.v to Coq 8.19 and advance correctness proof Nix CI for bundle default #27: Pull request #134 synchronize by CharlesCNorton
44m 11s
44m 11s
Port LambdaANF_to_Clight_correct.v to Coq 8.19 and advance correctness proof Nix CI for bundle default #26: Pull request #134 synchronize by CharlesCNorton
42m 53s
42m 53s
Port to Rocq 9.1 Nix CI for bundle default #25: Pull request #135 synchronize by 4ever2
59s
59s
Port to Rocq 9.1 Nix CI for bundle default #24: Pull request #135 synchronize by 4ever2
46s
46s
Port to Rocq 9.1 Nix CI for bundle default #23: Pull request #135 synchronize by 4ever2
21s
21s
Port to Rocq 9.1 Nix CI for bundle default #22: Pull request #135 opened by 4ever2
20s
20s
Port LambdaANF_to_Clight_correct.v to Coq 8.19 and advance correctness proof Nix CI for bundle default #21: Pull request #134 synchronize by CharlesCNorton
42m 35s
42m 35s
Port LambdaANF_to_Clight_correct.v to Coq 8.19 and advance correctness proof Nix CI for bundle default #20: Pull request #134 synchronize by CharlesCNorton
42m 13s
42m 13s
Port LambdaANF_to_Clight_correct.v to Coq 8.19 and advance correctness proof Nix CI for bundle default #19: Pull request #134 synchronize by CharlesCNorton
43m 33s
43m 33s