Skip to content

Actions: argumentcomputer/lean-update

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
166 workflow runs
166 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 #24: Pull request #5 opened by github-actions Bot
Action required update/lean-v4.34.0
update/lean-v4.34.0
Action required
chore: Update Lean to v4.34.0 Other Tests #24: Pull request #5 opened by github-actions Bot
Action required update/lean-v4.34.0
update/lean-v4.34.0
Action required
chore: Update Lean to v4.34.0 E2E Test #24: Pull request #5 opened by github-actions Bot
Action required update/lean-v4.34.0
update/lean-v4.34.0
Action required
PR #5 CodeQL #22: by github-actions Bot
41s refs/pull/5/head
refs/pull/5/head
41s
self update self update #36: Scheduled
1m 26s dev
dev
1m 26s
Repo sync Repo sync #36: Scheduled
10s dev
dev
10s
self update self update #35: Scheduled
38s dev
dev
38s
Repo sync Repo sync #35: Scheduled
10s dev
dev
10s
self update self update #34: Scheduled
31s dev
dev
31s
Repo sync Repo sync #34: Scheduled
9s dev
dev
9s
self update self update #33: Scheduled
40s dev
dev
40s
Repo sync Repo sync #33: Scheduled
10s dev
dev
10s
Scheduled CodeQL #21: by github-advanced-security AI
53s dev
dev
53s
self update self update #32: Scheduled
34s dev
dev
34s
Repo sync Repo sync #32: Scheduled
7s dev
dev
7s
self update self update #31: Scheduled
40s dev
dev
40s
Repo sync Repo sync #31: Scheduled
8s dev
dev
8s
self update self update #30: Scheduled
35s dev
dev
35s
Repo sync Repo sync #30: Scheduled
9s dev
dev
9s
self update self update #29: Scheduled
33s dev
dev
33s
Repo sync Repo sync #29: Scheduled
9s dev
dev
9s
self update self update #28: Scheduled
38s dev
dev
38s
Repo sync Repo sync #28: Scheduled
8s dev
dev
8s
self update self update #27: Scheduled
35s dev
dev
35s
Repo sync Repo sync #27: Scheduled
11s dev
dev
11s