Skip to content

Actions: argumentcomputer/lean-ffi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
256 workflow runs
256 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
chore: Update Lean to v4.33.1 CI Jobs #87: Pull request #27 opened by argument-ci-bot Bot
2m 44s update/lean-v4.33.1
update/lean-v4.33.1
2m 44s
PR #27 CodeQL #90: by argument-ci-bot Bot
2m 32s refs/pull/27/head
refs/pull/27/head
2m 32s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #11: Scheduled
42s main
main
42s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #10: Scheduled
36s main
main
36s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #9: Scheduled
38s main
main
38s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #8: Scheduled
37s main
main
37s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #7: Scheduled
42s main
main
42s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #6: Scheduled
36s main
main
36s
Scheduled CodeQL #89: by github-advanced-security AI
2m 41s main
main
2m 41s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #5: Scheduled
35s main
main
35s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #4: Scheduled
39s main
main
39s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #3: Scheduled
37s main
main
37s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #2: Scheduled
36s main
main
36s
Push on main CodeQL #88: by samuelburnham
2m 47s main
main
2m 47s
chore: Update Lean to v4.33.0 (#26) CI Jobs #86: Commit a6e781b pushed by samuelburnham
2m 32s main
main
2m 32s
chore: Update Lean to v4.33.0 CI Jobs #85: Pull request #26 synchronize by samuelburnham
1m 51s update/lean-v4.33.0
update/lean-v4.33.0
1m 51s
PR #26 CodeQL #87: by samuelburnham
2m 30s refs/pull/26/head
refs/pull/26/head
2m 30s
chore: Update Lean to v4.33.0 CI Jobs #84: Pull request #26 synchronize by samuelburnham
2m 36s update/lean-v4.33.0
update/lean-v4.33.0
2m 36s
PR #26 CodeQL #86: by samuelburnham
2m 31s refs/pull/26/head
refs/pull/26/head
2m 31s
chore: Update Lean to v4.33.0 CI Jobs #83: Pull request #26 opened by argument-ci-bot Bot
2m 37s update/lean-v4.33.0
update/lean-v4.33.0
2m 37s
PR #26 CodeQL #85: by argument-ci-bot Bot
2m 32s refs/pull/26/head
refs/pull/26/head
2m 32s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #1: Manually run by samuelburnham
1m 27s main
main
1m 27s
ci: Auto-update the Lean toolchain and pinned deps (#25) CI Jobs #82: Commit 25ee163 pushed by samuelburnham
2m 35s main
main
2m 35s
Push on main CodeQL #84: by github-advanced-security AI
2m 33s main
main
2m 33s
PR #25 CodeQL #83: by samuelburnham
2m 45s refs/pull/25/head
refs/pull/25/head
2m 45s