Skip to content

Actions: argumentcomputer/lean-update

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
114 workflow runs
114 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
self update self update #19: Scheduled
41s dev
dev
41s
Repo sync Repo sync #19: Scheduled
8s dev
dev
8s
self update self update #18: Scheduled
33s dev
dev
33s
Repo sync Repo sync #18: Scheduled
8s dev
dev
8s
Exclude dir Other Tests #20: Pull request #4 synchronize by samuelburnham
1m 13s exclude-dir
exclude-dir
1m 13s
Exclude dir E2E Test #20: Pull request #4 synchronize by samuelburnham
2m 46s exclude-dir
exclude-dir
2m 46s
Exclude dir Lean Action CI #20: Pull request #4 synchronize by samuelburnham
54s exclude-dir
exclude-dir
54s
PR #4 CodeQL #16: by samuelburnham
41s refs/pull/4/head
refs/pull/4/head
41s
Exclude dir E2E Test #19: Pull request #4 opened by samuelburnham
2m 40s exclude-dir
exclude-dir
2m 40s
Exclude dir Lean Action CI #19: Pull request #4 opened by samuelburnham
45s exclude-dir
exclude-dir
45s
Exclude dir Other Tests #19: Pull request #4 opened by samuelburnham
1m 12s exclude-dir
exclude-dir
1m 12s
PR #4 CodeQL #15: by samuelburnham
42s refs/pull/4/head
refs/pull/4/head
42s
self update self update #17: Scheduled
38s dev
dev
38s
Repo sync Repo sync #17: Scheduled
7s dev
dev
7s
self update self update #16: Scheduled
38s dev
dev
38s
Repo sync Repo sync #16: Scheduled
8s dev
dev
8s
self update self update #15: Scheduled
32s dev
dev
32s
Repo sync Repo sync #15: Scheduled
10s dev
dev
10s
chore: Update Lean to v4.33.1 (#3) Other Tests #18: Commit c9e5b77 pushed by samuelburnham
1m 15s dev
dev
1m 15s
chore: Update Lean to v4.33.1 (#3) E2E Test #18: Commit c9e5b77 pushed by samuelburnham
13m 35s dev
dev
13m 35s
chore: Update Lean to v4.33.1 (#3) Lean Action CI #18: Commit c9e5b77 pushed by samuelburnham
43s dev
dev
43s
Push on dev CodeQL #14: by samuelburnham
55s dev
dev
55s
chore: Update Lean to v4.33.1 E2E Test #17: Pull request #3 opened by argument-ci-bot Bot
15m 28s update/lean-v4.33.1
update/lean-v4.33.1
15m 28s
chore: Update Lean to v4.33.1 Lean Action CI #17: Pull request #3 opened by argument-ci-bot Bot
46s update/lean-v4.33.1
update/lean-v4.33.1
46s
chore: Update Lean to v4.33.1 Other Tests #17: Pull request #3 opened by argument-ci-bot Bot
1m 11s update/lean-v4.33.1
update/lean-v4.33.1
1m 11s