Skip to content

Actions: argumentcomputer/lean4-nix

Actions

Update Lean toolchain manifest

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test PR Update Lean toolchain manifest #6: Commit d26a47c pushed by samuelburnham
21s ci-manifest
ci-manifest
21s
Test PR Update Lean toolchain manifest #5: Commit 65daeda pushed by samuelburnham
21s ci-manifest
ci-manifest
21s
ci: Version control manifests in separate repo Update Lean toolchain manifest #4: Commit 1b0e259 pushed by samuelburnham
17s ci-manifest
ci-manifest
17s
ci: Version control manifests in separate repo Update Lean toolchain manifest #3: Commit 698fbbe pushed by samuelburnham
24s ci-manifest
ci-manifest
24s
ci: Version control manifests in separate repo Update Lean toolchain manifest #2: Commit 707a26c pushed by samuelburnham
8s ci-manifest
ci-manifest
8s
ci: Version control manifests in separate repo Update Lean toolchain manifest #1: Commit 844fad2 pushed by samuelburnham
37s ci-manifest
ci-manifest
37s