Skip to content

Actions: argumentcomputer/lean-update

Actions

Other Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yaml
65 workflow runs
65 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
ci: pin actions to commit SHAs and lint workflows (#11) Other Tests #65: Commit 7215ebe pushed by samuelburnham
1m 4s dev
dev
1m 4s
ci: pin actions to commit SHAs and lint workflows Other Tests #64: Pull request #11 opened by samuelburnham
1m 22s ci/pin-actions
ci/pin-actions
1m 22s
build(deps): bump EndBug/add-and-commit from 10 to 11 Other Tests #63: Pull request #7 synchronize by dependabot Bot
1m 39s dependabot/github_actions/EndBug/add-and-commit-11
dependabot/github_actions/EndBug/add-and-commit-11
1m 39s
build(deps): bump EndBug/add-and-commit from 10 to 11 Other Tests #62: Pull request #7 edited by dependabot Bot
1m 9s dependabot/github_actions/EndBug/add-and-commit-11
dependabot/github_actions/EndBug/add-and-commit-11
1m 9s
build(deps): bump EndBug/add-and-commit from 10 to 11 Other Tests #61: Pull request #7 edited by dependabot Bot
1m 5s dependabot/github_actions/EndBug/add-and-commit-11
dependabot/github_actions/EndBug/add-and-commit-11
1m 5s
build(deps): bump EndBug/add-and-commit from 10 to 11 Other Tests #60: Pull request #7 edited by dependabot Bot
1m 23s dependabot/github_actions/EndBug/add-and-commit-11
dependabot/github_actions/EndBug/add-and-commit-11
1m 23s
Update token Other Tests #59: Commit de559c8 pushed by samuelburnham
1m 6s dev
dev
1m 6s
chore: Update Lean to v4.34.1 (#10) Other Tests #58: Commit bb71fe9 pushed by samuelburnham
1m 5s dev
dev
1m 5s
chore: Update Lean to v4.34.1 Other Tests #57: Pull request #10 opened by github-actions Bot
1m 30s update/lean-v4.34.1
update/lean-v4.34.1
1m 30s
build(deps): bump EndBug/add-and-commit from 10 to 11 Other Tests #56: Pull request #7 synchronize by dependabot Bot
1m 39s dependabot/github_actions/EndBug/add-and-commit-11
dependabot/github_actions/EndBug/add-and-commit-11
1m 39s
build(deps): bump EndBug/add-and-commit from 10 to 11 Other Tests #55: Pull request #7 edited by dependabot Bot
1m 19s dependabot/github_actions/EndBug/add-and-commit-11
dependabot/github_actions/EndBug/add-and-commit-11
1m 19s
build(deps): bump EndBug/add-and-commit from 10 to 11 Other Tests #54: Pull request #7 edited by dependabot Bot
1m 22s dependabot/github_actions/EndBug/add-and-commit-11
dependabot/github_actions/EndBug/add-and-commit-11
1m 22s
build(deps): bump EndBug/add-and-commit from 10 to 11 Other Tests #53: Pull request #7 edited by dependabot Bot
1m 14s dependabot/github_actions/EndBug/add-and-commit-11
dependabot/github_actions/EndBug/add-and-commit-11
1m 14s
Fix PR gate Other Tests #52: Commit 6fec2e6 pushed by samuelburnham
1m 41s dev
dev
1m 41s
build(deps): bump EndBug/add-and-commit from 10 to 11 Other Tests #51: Pull request #7 edited by dependabot Bot
1m 25s dependabot/github_actions/EndBug/add-and-commit-11
dependabot/github_actions/EndBug/add-and-commit-11
1m 25s
build(deps): bump EndBug/add-and-commit from 10 to 11 Other Tests #50: Pull request #7 synchronize by dependabot Bot
2m 16s dependabot/github_actions/EndBug/add-and-commit-11
dependabot/github_actions/EndBug/add-and-commit-11
2m 16s
build(deps): bump EndBug/add-and-commit from 10 to 11 Other Tests #49: Pull request #7 edited by dependabot Bot
1m 5s dependabot/github_actions/EndBug/add-and-commit-11
dependabot/github_actions/EndBug/add-and-commit-11
1m 5s
chore: Update Lean to v4.34.1 Other Tests #48: Pull request #9 opened by github-actions Bot
49m 8s update/lean-v4.34.1
update/lean-v4.34.1
49m 8s
build(deps): bump EndBug/add-and-commit from 10 to 11 Other Tests #47: Pull request #7 edited by dependabot Bot
1m 15s dependabot/github_actions/EndBug/add-and-commit-11
dependabot/github_actions/EndBug/add-and-commit-11
1m 15s
ci: Use new lean4-nix update flag Other Tests #46: Commit 36091ef pushed by samuelburnham
59s dev
dev
59s
build(deps): bump EndBug/add-and-commit from 10 to 11 Other Tests #45: Pull request #7 edited by dependabot Bot
1m 11s dependabot/github_actions/EndBug/add-and-commit-11
dependabot/github_actions/EndBug/add-and-commit-11
1m 11s
build(deps): bump EndBug/add-and-commit from 10 to 11 Other Tests #44: Pull request #7 synchronize by dependabot Bot
1m 8s dependabot/github_actions/EndBug/add-and-commit-11
dependabot/github_actions/EndBug/add-and-commit-11
1m 8s
build(deps): bump EndBug/add-and-commit from 10 to 11 Other Tests #43: Pull request #7 edited by dependabot Bot
1m 28s dependabot/github_actions/EndBug/add-and-commit-11
dependabot/github_actions/EndBug/add-and-commit-11
1m 28s
build(deps): bump EndBug/add-and-commit from 10 to 11 Other Tests #42: Pull request #7 edited by dependabot Bot
1m 20s dependabot/github_actions/EndBug/add-and-commit-11
dependabot/github_actions/EndBug/add-and-commit-11
1m 20s
ci: Add update_lean4_nix flag to skip unless toolchain exists on le… Other Tests #41: Commit b28cdd9 pushed by samuelburnham
1m 20s dev
dev
1m 20s