Skip to content

Actions: argumentcomputer/ci-lab

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
223 workflow runs
223 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 Update Lean toolchain #12: Scheduled
53s main
main
53s
Scheduled CodeQL #61: by github-advanced-security AI
1m 56s main
main
1m 56s
Update Lean toolchain Update Lean toolchain #11: Scheduled
7m 45s main
main
7m 45s
Update Lean toolchain Update Lean toolchain #10: Scheduled
56s main
main
56s
Update Lean toolchain Update Lean toolchain #9: Scheduled
52s main
main
52s
Update Lean toolchain Update Lean toolchain #8: Scheduled
48s main
main
48s
chore: Update Lean to v4.34.0 Lean Action CI #83: Pull request #98 opened by github-actions Bot
Action required update/lean-v4.34.0
update/lean-v4.34.0
Action required
PR #98 CodeQL #60: by github-actions Bot
1m 49s refs/pull/98/head
refs/pull/98/head
1m 49s
Update Lean toolchain Update Lean toolchain #7: Scheduled
1m 2s main
main
1m 2s
Update Lean toolchain Update Lean toolchain #6: Scheduled
38s main
main
38s
Update Lean toolchain Update Lean toolchain #5: Scheduled
36s main
main
36s
Scheduled CodeQL #59: by github-advanced-security AI
2m 15s main
main
2m 15s
Update Lean toolchain Update Lean toolchain #4: Scheduled
33s main
main
33s
Update Lean toolchain Update Lean toolchain #3: Scheduled
37s main
main
37s
Update Lean toolchain Update Lean toolchain #2: Scheduled
35s main
main
35s
chore: Update Lean to v4.33.1 Lean Action CI #82: Pull request #97 opened by github-actions Bot
52s update/lean-v4.33.1
update/lean-v4.33.1
52s
PR #97 CodeQL #58: by github-actions Bot
2m 5s refs/pull/97/head
refs/pull/97/head
2m 5s
Update Lean toolchain Update Lean toolchain #1: Manually run by samuelburnham
41s main
main
41s
Push on main CodeQL #57: by samuelburnham
2m 15s main
main
2m 15s
Merge tests Merge tests #188: Merge group checks requested
44s
44s
Scheduled CodeQL #56: by github-advanced-security AI
2m 14s main
main
2m 14s
Test PR Namespace CPU information #1: Pull request #96 synchronize by samuelburnham
25s test-merge
test-merge
25s
Test PR Lean Action CI #81: Pull request #96 synchronize by samuelburnham
30s test-merge
test-merge
30s
PR #96 CodeQL #55: by samuelburnham
2m 12s refs/pull/96/head
refs/pull/96/head
2m 12s
Merge tests Merge tests #187: Merge group checks requested
38s
38s