Skip to content

Actions: rocq-community/coqeal

Actions

Nix CI for bundle rocq-9.1

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-rocq-9.1.yml
53 workflow runs
53 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #127 from proux01/diag-seqmx Nix CI for bundle rocq-9.1 #53: Commit 8fd26cf pushed by proux01
2m 1s master
master
2m 1s
Simplify diag_seqmx_R Nix CI for bundle rocq-9.1 #52: Pull request #127 opened by proux01
5m 50s
5m 50s
Merge pull request #126 from proux01/ci-update Nix CI for bundle rocq-9.1 #51: Commit fec3f3b pushed by proux01
1m 48s master
master
1m 48s
[CI] Update Nix toolbox Nix CI for bundle rocq-9.1 #50: Pull request #126 opened by proux01
6m 1s
6m 1s
Merge pull request #125 from proux01/rocq Nix CI for bundle rocq-9.1 #49: Commit eaf32ed pushed by proux01
6m 55s master
master
6m 55s
Compile without coq shim Nix CI for bundle rocq-9.1 #48: Pull request #125 synchronize by proux01
11m 5s proux01:rocq
proux01:rocq
11m 5s
Compile without coq shim Nix CI for bundle rocq-9.1 #47: Pull request #125 synchronize by proux01
8s
8s
Compile without coq shim Nix CI for bundle rocq-9.1 #46: Pull request #125 opened by proux01
8m 39s proux01:rocq
proux01:rocq
8m 39s
Compile without coq shim Nix CI for bundle rocq-9.1 #45: Pull request #125 opened by proux01
11s
11s
Merge pull request #124 from proux01/warning Nix CI for bundle rocq-9.1 #44: Commit ce3d1d6 pushed by proux01
2m 24s master
master
2m 24s
Handle warnings Nix CI for bundle rocq-9.1 #43: Pull request #124 synchronize by proux01
11m 35s proux01:warning
proux01:warning
11m 35s
Handle warnings Nix CI for bundle rocq-9.1 #42: Pull request #124 synchronize by proux01
11m 43s
11m 43s
Handle warnings Nix CI for bundle rocq-9.1 #41: Pull request #124 synchronize by proux01
4m 0s proux01:warning
proux01:warning
4m 0s
Handle warnings Nix CI for bundle rocq-9.1 #40: Pull request #124 synchronize by proux01
4m 3s
4m 3s
Handle warnings Nix CI for bundle rocq-9.1 #39: Pull request #124 opened by proux01
4m 39s
4m 39s
Merge pull request #122 from proux01/rocq21849 Nix CI for bundle rocq-9.1 #38: Commit 03a7c15 pushed by proux01
10m 50s master
master
10m 50s
Adapt to https://github.com/rocq-prover/rocq/pull/21849 Nix CI for bundle rocq-9.1 #37: Pull request #122 synchronize by proux01
17m 17s
17m 17s
Adapt to https://github.com/rocq-prover/rocq/pull/21849 Nix CI for bundle rocq-9.1 #36: Pull request #122 opened by proux01
7m 39s
7m 39s
Merge pull request #120 from proux01/reworder Nix CI for bundle rocq-9.1 #35: Commit a66d00f pushed by proux01
10m 34s master
master
10m 34s
Port to new rewrite goals order Nix CI for bundle rocq-9.1 #34: Pull request #120 synchronize by proux01
13m 45s
13m 45s
Merge pull request #121 from proux01/ci-update Nix CI for bundle rocq-9.1 #33: Commit 3a5a26c pushed by proux01
10m 19s master
master
10m 19s
[CI] Update Nix CI for bundle rocq-9.1 #32: Pull request #121 synchronize by proux01
16m 51s proux01:ci-update
proux01:ci-update
16m 51s
[CI] Update Nix CI for bundle rocq-9.1 #31: Pull request #121 synchronize by proux01
16m 18s
16m 18s
[CI] Update Nix CI for bundle rocq-9.1 #30: Pull request #121 synchronize by proux01
14m 17s proux01:ci-update
proux01:ci-update
14m 17s
[CI] Update Nix CI for bundle rocq-9.1 #29: Pull request #121 synchronize by proux01
14m 2s
14m 2s