Skip to content

Actions: argumentcomputer/lean-update

Actions

E2E Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
e2e_test.yml
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) E2E Test #23: Commit 8376def pushed by samuelburnham
2m 45s dev
dev
2m 45s
Exclude dir E2E Test #22: Pull request #4 ready_for_review by samuelburnham
3m 18s exclude-dir
exclude-dir
3m 18s
Exclude dir E2E Test #21: Pull request #4 synchronize by samuelburnham
2m 48s exclude-dir
exclude-dir
2m 48s
Exclude dir E2E Test #20: Pull request #4 synchronize by samuelburnham
2m 46s exclude-dir
exclude-dir
2m 46s
Exclude dir E2E Test #19: Pull request #4 opened by samuelburnham
2m 40s exclude-dir
exclude-dir
2m 40s
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 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
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
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 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 E2E Test #13: Pull request #2 synchronize by samuelburnham
2m 43s feat/recursive-package-directory-glob
feat/recursive-package-directory-glob
2m 43s
feat: Add a /** package directory glob that descends the tree E2E Test #12: Pull request #2 opened by samuelburnham
2m 51s feat/recursive-package-directory-glob
feat/recursive-package-directory-glob
2m 51s
Merge pull request #269 from leanprover-community/auto-update-lean/patch E2E Test #11: Commit bf1adc2 pushed by argument-ci-bot Bot
2m 52s main
main
2m 52s
chore: Update Lean to v4.33.1 E2E Test #10: Pull request #1 opened by github-actions Bot
3m 49s update/lean-v4.33.1
update/lean-v4.33.1
3m 49s
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
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
feat: Add a pr setting that always opens a pull request E2E Test #7: Commit 50dc27a pushed by samuelburnham
9m 59s dev
dev
9m 59s
feat: Leave an open update PR untouched E2E Test #6: Commit 88edba1 pushed by samuelburnham
2m 51s dev
dev
2m 51s
fix: Track the lakefile as a changed file E2E Test #5: Commit c49de97 pushed by samuelburnham
2m 44s dev
dev
2m 44s
feat: Open update PRs on a per-release branch E2E Test #4: Commit 8cd38cf pushed by samuelburnham
7m 37s dev
dev
7m 37s
feat: Accept multiple Lake package directories E2E Test #3: Commit c780c54 pushed by samuelburnham
2m 59s dev
dev
2m 59s
test: Cover pinned-tag bumping end to end E2E Test #2: Commit 1bc9132 pushed by samuelburnham
2m 53s dev
dev
2m 53s
Merge pull request #266 from leanprover-community/auto-update-lean/patch E2E Test #1: Commit 6618d37 pushed by samuelburnham
2m 40s main
main
2m 40s