Skip to content

Actions: argumentcomputer/lean-update

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
100 workflow runs
100 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 #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
PR #3 CodeQL #13: by argument-ci-bot Bot
46s refs/pull/3/head
refs/pull/3/head
46s
Repo sync Repo sync #14: Manually run by samuelburnham
11s dev
dev
11s
self update self update #14: Manually run by samuelburnham
1m 27s dev
dev
1m 27s
feat: Add a /** package directory glob that descends the tree (#2) Lean Action CI #16: Commit d9e24c0 pushed by samuelburnham
48s dev
dev
48s
feat: Add a /** package directory glob that descends the tree (#2) Other Tests #16: Commit d9e24c0 pushed by samuelburnham
1m 7s dev
dev
1m 7s
feat: Add a /** package directory glob that descends the tree (#2) E2E Test #16: Commit d9e24c0 pushed by samuelburnham
3m 9s dev
dev
3m 9s
Push on dev CodeQL #12: by samuelburnham
39s dev
dev
39s
feat: Add a /** package directory glob that descends the tree Other Tests #15: Pull request #2 ready_for_review by samuelburnham
1m 22s feat/recursive-package-directory-glob
feat/recursive-package-directory-glob
1m 22s
feat: Add a /** package directory glob that descends the tree Lean Action CI #15: Pull request #2 ready_for_review by samuelburnham
36s feat/recursive-package-directory-glob
feat/recursive-package-directory-glob
36s
feat: Add a /** package directory glob that descends the tree E2E Test #15: Pull request #2 ready_for_review by samuelburnham
3m 5s feat/recursive-package-directory-glob
feat/recursive-package-directory-glob
3m 5s
feat: Add a /** package directory glob that descends the tree Lean Action CI #14: Pull request #2 edited by samuelburnham
39s feat/recursive-package-directory-glob
feat/recursive-package-directory-glob
39s
feat: Add a /** package directory glob that descends the tree Other Tests #14: Pull request #2 edited by samuelburnham
1m 14s feat/recursive-package-directory-glob
feat/recursive-package-directory-glob
1m 14s
feat: Add a /** package directory glob that descends the tree E2E Test #14: Pull request #2 edited by samuelburnham
3m 5s feat/recursive-package-directory-glob
feat/recursive-package-directory-glob
3m 5s
feat: Add a /** package directory glob that descends the tree Lean Action CI #13: Pull request #2 synchronize by samuelburnham
54s feat/recursive-package-directory-glob
feat/recursive-package-directory-glob
54s