Skip to content

Actions: argumentcomputer/lean-update

Actions

Other Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yaml
23 workflow runs
23 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
Exclude dir (#4) Other Tests #23: Commit 8376def pushed by samuelburnham
1m 8s dev
dev
1m 8s
Exclude dir Other Tests #22: Pull request #4 ready_for_review by samuelburnham
1m 13s exclude-dir
exclude-dir
1m 13s
Exclude dir Other Tests #21: Pull request #4 synchronize by samuelburnham
1m 3s exclude-dir
exclude-dir
1m 3s
Exclude dir Other Tests #20: Pull request #4 synchronize by samuelburnham
1m 13s exclude-dir
exclude-dir
1m 13s
Exclude dir Other Tests #19: Pull request #4 opened by samuelburnham
1m 12s exclude-dir
exclude-dir
1m 12s
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 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
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 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 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 Other Tests #13: Pull request #2 synchronize by samuelburnham
1m 18s feat/recursive-package-directory-glob
feat/recursive-package-directory-glob
1m 18s
feat: Add a /** package directory glob that descends the tree Other Tests #12: Pull request #2 opened by samuelburnham
1m 8s feat/recursive-package-directory-glob
feat/recursive-package-directory-glob
1m 8s
Merge pull request #269 from leanprover-community/auto-update-lean/patch Other Tests #11: Commit bf1adc2 pushed by argument-ci-bot Bot
55s main
main
55s
chore: Update Lean to v4.33.1 Other Tests #10: Pull request #1 opened by github-actions Bot
1m 10s update/lean-v4.33.1
update/lean-v4.33.1
1m 10s
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