Skip to content

Actions: argumentcomputer/lean-update

Actions

Other Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yaml
10 workflow runs
10 workflow runs

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 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
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 #267 from leanprover-community/dependabot/github_a… Other Tests #8: Commit f23e92d pushed by argument-ci-bot Bot
54s main
main
54s
feat: Add a pr setting that always opens a pull request Other Tests #7: Commit 50dc27a pushed by samuelburnham
1m 15s dev
dev
1m 15s
feat: Leave an open update PR untouched Other Tests #6: Commit 88edba1 pushed by samuelburnham
1m 9s dev
dev
1m 9s
fix: Track the lakefile as a changed file Other Tests #5: Commit c49de97 pushed by samuelburnham
1m 10s dev
dev
1m 10s
feat: Open update PRs on a per-release branch Other Tests #4: Commit 8cd38cf pushed by samuelburnham
1m 6s dev
dev
1m 6s
feat: Accept multiple Lake package directories Other Tests #3: Commit c780c54 pushed by samuelburnham
1m 12s dev
dev
1m 12s
test: Cover pinned-tag bumping end to end Other Tests #2: Commit 1bc9132 pushed by samuelburnham
1m 18s dev
dev
1m 18s
Merge pull request #266 from leanprover-community/auto-update-lean/patch Other Tests #1: Commit 6618d37 pushed by samuelburnham
59s main
main
59s