Skip to content

Actions: argumentcomputer/ci-lab

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
209 workflow runs
209 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 #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
Merge tests for PR #96 Merge tests #184: Issue comment #96 (comment) created by samuelburnham
51s
51s
Test PR Benchmark pull requests #45: Issue comment #96 (comment) created by samuelburnham
1s
1s
Test PR Lean Action CI #79: Pull request #96 synchronize by samuelburnham
31s test-merge
test-merge
31s
PR #96 CodeQL #53: by samuelburnham
2m 6s refs/pull/96/head
refs/pull/96/head
2m 6s
Push on main CodeQL #52: by samuelburnham
2m 24s main
main
2m 24s
Merge tests for PR #96 Merge tests #183: Issue comment #96 (comment) created by samuelburnham
50s
50s
Test PR Benchmark pull requests #44: Issue comment #96 (comment) created by samuelburnham
1s
1s
Merge tests for PR #96 Merge tests #182: Issue comment #96 (comment) created by samuelburnham
1m 30s
1m 30s