Skip to content

Actions: argumentcomputer/ci-lab

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
217 workflow runs
217 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.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
Merge tests for PR #96 Merge tests #186: Issue comment #96 (comment) created by samuelburnham
1m 22s
1m 22s
Test PR Benchmark pull requests #47: Issue comment #96 (comment) created by samuelburnham
1s
1s
Test PR Lean Action CI #80: Pull request #96 synchronize by samuelburnham
28s test-merge
test-merge
28s
PR #96 CodeQL #54: by samuelburnham
2m 9s refs/pull/96/head
refs/pull/96/head
2m 9s
Merge tests for PR #96 Merge tests #185: Issue comment #96 (comment) created by samuelburnham
54s
54s
Test PR Benchmark pull requests #46: Issue comment #96 (comment) created by samuelburnham
1s
1s