Skip to content

Actions: argumentcomputer/lean-update

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
60 workflow runs
60 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.33.1 E2E Test #10: Pull request #1 opened by github-actions Bot
Action required update/lean-v4.33.1
update/lean-v4.33.1
Action required
chore: Update Lean to v4.33.1 Lean Action CI #10: Pull request #1 opened by github-actions Bot
Action required update/lean-v4.33.1
update/lean-v4.33.1
Action required
chore: Update Lean to v4.33.1 Other Tests #10: Pull request #1 opened by github-actions Bot
Action required update/lean-v4.33.1
update/lean-v4.33.1
Action required
PR #1 CodeQL #8: by github-actions Bot
43s refs/pull/1/head
refs/pull/1/head
43s
self update self update #11: Scheduled
1m 11s dev
dev
1m 11s
Repo sync Repo sync #11: Scheduled
14s dev
dev
14s
self update self update #10: Scheduled
41s dev
dev
41s
Repo sync Repo sync #10: Scheduled
14s dev
dev
14s
self update self update #9: Scheduled
35s dev
dev
35s
Merge pull request #268 from leanprover-community/codex/pin-add-and-c… Lean Action CI #9: Commit 053c3a8 pushed by argument-ci-bot Bot
36s main
main
36s
Merge pull request #268 from leanprover-community/codex/pin-add-and-c… Other Tests #9: Commit 053c3a8 pushed by argument-ci-bot Bot
53s main
main
53s
Merge pull request #268 from leanprover-community/codex/pin-add-and-c… E2E Test #9: Commit 053c3a8 pushed by argument-ci-bot Bot
3m 29s main
main
3m 29s
Repo sync Repo sync #9: Scheduled
17s dev
dev
17s
self update self update #8: Scheduled
33s dev
dev
33s
Repo sync Repo sync #8: Scheduled
16s dev
dev
16s
self update self update #7: Scheduled
37s dev
dev
37s
Merge pull request #267 from leanprover-community/dependabot/github_a… Other Tests #8: Commit f23e92d pushed by argument-ci-bot Bot
54s main
main
54s
Merge pull request #267 from leanprover-community/dependabot/github_a… Lean Action CI #8: Commit f23e92d pushed by argument-ci-bot Bot
39s main
main
39s
Merge pull request #267 from leanprover-community/dependabot/github_a… E2E Test #8: Commit f23e92d pushed by argument-ci-bot Bot
2m 53s main
main
2m 53s
Repo sync Repo sync #7: Scheduled
16s dev
dev
16s
self update self update #6: Scheduled
37s dev
dev
37s
Repo sync Repo sync #6: Scheduled
15s dev
dev
15s
self update self update #5: Scheduled
38s dev
dev
38s
Repo sync Repo sync #5: Scheduled
12s dev
dev
12s
self update self update #4: Scheduled
37s dev
dev
37s