Skip to content

Actions: argumentcomputer/lean4ix

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #2: Scheduled
43s main
main
43s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #1: Scheduled
35s main
main
35s
ci: Increase test runner size (#1) Nix #4: Commit 4a7b125 pushed by samuelburnham
3m 46s main
main
3m 46s
ci: Increase test runner size (#1) CI #4: Commit 4a7b125 pushed by samuelburnham
3m 49s main
main
3m 49s
Push on main CodeQL #3: by samuelburnham
54s main
main
54s
ci: Increase test runner size Nix #3: Pull request #1 opened by samuelburnham
3m 48s ci-warp
ci-warp
3m 48s
ci: Increase test runner size CI #3: Pull request #1 opened by samuelburnham
2m 39s ci-warp
ci-warp
2m 39s
PR #1 CodeQL #2: by samuelburnham
45s refs/pull/1/head
refs/pull/1/head
45s
CodeQL Setup CodeQL #1: by github-advanced-security AI
45s main
main
45s
ci: Switch to standalone repo with default main Nix #2: Commit a4188d7 pushed by samuelburnham
6m 45s main
main
6m 45s
ci: Switch to standalone repo with default main CI #2: Commit a4188d7 pushed by samuelburnham
12m 3s main
main
12m 3s
ci: Sync from upstream via the shared ci-workflows workflow (#7) Nix #1: Commit f09e1cf pushed by samuelburnham
11m 13s dev
dev
11m 13s
ci: Sync from upstream via the shared ci-workflows workflow (#7) CI #1: Commit f09e1cf pushed by samuelburnham
11m 16s dev
dev
11m 16s