Skip to content

Actions: argumentcomputer/lean4-nix

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
36 workflow runs
36 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
Debug CI #54: Commit 18293e3 pushed by samuelburnham
5m 32s test-garnix
test-garnix
5m 32s
fixup CI #53: Commit 125dde8 pushed by samuelburnham
5m 37s test-garnix
test-garnix
5m 37s
Test Garnix cache CI #52: Commit e2d4faa pushed by samuelburnham
17s test-garnix
test-garnix
17s
CI CI #51: Manually run by samuelburnham
9m 20s dev
dev
9m 20s
ci: Version control manifests in separate repo CI #50: Pull request #16 synchronize by samuelburnham
49m 13s ci-manifest
ci-manifest
49m 13s
ci: Version control manifests in separate repo CI #49: Pull request #16 opened by samuelburnham
11m 25s ci-manifest
ci-manifest
11m 25s
ci: Cache on MacOS aarch64-darwin (#14) CI #48: Commit 60a2a90 pushed by samuelburnham
9m 48s dev
dev
9m 48s
ci: Cache on MacOS aarch64-darwin CI #47: Pull request #14 synchronize by samuelburnham
7m 33s ci-macos
ci-macos
7m 33s
ci: Cache on MacOS aarch64-darwin CI #46: Pull request #14 synchronize by samuelburnham
14m 19s ci-macos
ci-macos
14m 19s
ci: Cache on MacOS aarch64-darwin CI #45: Pull request #14 synchronize by samuelburnham
7m 13s ci-macos
ci-macos
7m 13s
ci: Cache on MacOS aarch64-darwin CI #44: Pull request #14 synchronize by samuelburnham
20m 24s ci-macos
ci-macos
20m 24s
ci: Cache on MacOS aarch64-darwin CI #43: Pull request #14 synchronize by samuelburnham
12m 59s ci-macos
ci-macos
12m 59s
ci: Cache on MacOS aarch64-darwin CI #42: Pull request #14 synchronize by samuelburnham
2m 14s ci-macos
ci-macos
2m 14s
ci: Cache on MacOS aarch64-darwin CI #41: Pull request #14 synchronize by samuelburnham
28m 5s ci-macos
ci-macos
28m 5s
ci: Cache on MacOS aarch64-darwin CI #40: Pull request #14 synchronize by samuelburnham
4m 57s ci-macos
ci-macos
4m 57s
ci: Cache on MacOS aarch64-darwin CI #39: Pull request #14 synchronize by samuelburnham
17s ci-macos
ci-macos
17s
ci: Cache on MacOS aarch64-darwin CI #38: Pull request #14 synchronize by samuelburnham
51s ci-macos
ci-macos
51s
ci: Cache on MacOS aarch64-darwin CI #37: Pull request #14 synchronize by samuelburnham
5m 40s ci-macos
ci-macos
5m 40s
ci: Cache on MacOS aarch64-darwin CI #36: Pull request #14 synchronize by samuelburnham
9m 10s ci-macos
ci-macos
9m 10s
ci: Cache on MacOS aarch64-darwin CI #35: Commit 2e55976 pushed by samuelburnham
Failure ci-macos
ci-macos
Failure
chore: Bump Lean to v4.18.0 (#13) CI #34: Commit f798c4f pushed by samuelburnham
4m 39s dev
dev
4m 39s
chore: Bump Lean to v4.18.0 CI #33: Pull request #13 synchronize by samuelburnham
6m 0s lean-4.18.0
lean-4.18.0
6m 0s
chore: Bump Lean to v4.18.0 CI #32: Pull request #13 synchronize by samuelburnham
11m 5s lean-4.18.0
lean-4.18.0
11m 5s
chore: Bump Lean to v4.18.0 CI #31: Pull request #13 synchronize by samuelburnham
27m 40s lean-4.18.0
lean-4.18.0
27m 40s
chore: Bump Lean to v4.18.0 CI #30: Pull request #13 opened by samuelburnham
56s lean-4.18.0
lean-4.18.0
56s