Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
833,540 workflow run results
833,540 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bot fix style (review) bot fix style (review) #5746: submitted by Vtec234
October 17, 2024 23:53 3s
October 17, 2024 23:53 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #46102: submitted by Vtec234
October 17, 2024 23:53 3s
October 17, 2024 23:53 3s
Merge branch 'master' into vi.onote Autolabel PRs #1117: Commit e94fb45 pushed by vihdzp
October 17, 2024 23:51 1m 9s vi.onote
vi.onote
October 17, 2024 23:51 1m 9s
Merge branch 'master' into vi.onote continuous integration (mathlib forks) #141243: Commit e94fb45 pushed by vihdzp
October 17, 2024 23:51 13s vi.onote
vi.onote
October 17, 2024 23:51 13s
Merge branch 'master' into vi.onote continuous integration #132803: Commit e94fb45 pushed by vihdzp
October 17, 2024 23:51 6m 4s vi.onote
vi.onote
October 17, 2024 23:51 6m 4s
chore(SetTheory/Ordinal/Notation): improve documentation Post PR summary comment #24454: Pull request #16053 synchronize by vihdzp
October 17, 2024 23:51 43s vi.onote
vi.onote
October 17, 2024 23:51 43s
chore(SetTheory/Ordinal/Notation): improve documentation Label New Contributors #38599: Pull request #16053 synchronize by vihdzp
October 17, 2024 23:51 12s vi.onote
vi.onote
October 17, 2024 23:51 12s
chore(SetTheory/Ordinal/Notation): improve documentation lint and suggest #60843: Pull request #16053 synchronize by vihdzp
October 17, 2024 23:51 2s vi.onote
vi.onote
October 17, 2024 23:51 2s
Merge conflicts Merge conflicts #62683: Scheduled
October 17, 2024 23:48 22s master
master
October 17, 2024 23:48 22s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #91325: completed by urkud
October 17, 2024 23:47 2s
October 17, 2024 23:47 2s
Dependent Issues Dependent Issues #63762: Scheduled
October 17, 2024 23:46 4m 42s master
master
October 17, 2024 23:46 4m 42s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #91324: completed by vihdzp
October 17, 2024 23:45 2s
October 17, 2024 23:45 2s
[Merged by Bors] - chore(SetTheory/Ordinal/Basic): make Ordinal.typein a PrincipalSeg Label New Contributors #38598: Pull request #17599 synchronize by vihdzp
October 17, 2024 23:45 16s vi.typein_apply
vi.typein_apply
October 17, 2024 23:45 16s
[Merged by Bors] - chore(SetTheory/Ordinal/Basic): make Ordinal.typein a PrincipalSeg Post PR summary comment #24453: Pull request #17599 synchronize by vihdzp
October 17, 2024 23:45 44s vi.typein_apply
vi.typein_apply
October 17, 2024 23:45 44s
[Merged by Bors] - chore(SetTheory/Ordinal/Basic): make Ordinal.typein a PrincipalSeg lint and suggest #60842: Pull request #17599 synchronize by vihdzp
October 17, 2024 23:45 1m 28s vi.typein_apply
vi.typein_apply
October 17, 2024 23:45 1m 28s
Merge branch 'master' into vi.typein_apply continuous integration (mathlib forks) #141242: Commit 93833d1 pushed by vihdzp
October 17, 2024 23:45 12s vi.typein_apply
vi.typein_apply
October 17, 2024 23:45 12s
Merge branch 'master' into vi.typein_apply continuous integration #132802: Commit 93833d1 pushed by vihdzp
October 17, 2024 23:45 26m 54s vi.typein_apply
vi.typein_apply
October 17, 2024 23:45 26m 54s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #91323: completed by vihdzp
October 17, 2024 23:44 2s
October 17, 2024 23:44 2s
[Merged by Bors] - chore(SetTheory/Cardinal/Basic): deprecate duplicate Nat.cast lemmas Label New Contributors #38597: Pull request #17850 synchronize by vihdzp
October 17, 2024 23:44 13s vi.natCast_pow
vi.natCast_pow
October 17, 2024 23:44 13s
[Merged by Bors] - chore(SetTheory/Cardinal/Basic): deprecate duplicate Nat.cast lemmas Post PR summary comment #24452: Pull request #17850 synchronize by vihdzp
October 17, 2024 23:44 46s vi.natCast_pow
vi.natCast_pow
October 17, 2024 23:44 46s
[Merged by Bors] - chore(SetTheory/Cardinal/Basic): deprecate duplicate Nat.cast lemmas lint and suggest #60841: Pull request #17850 synchronize by vihdzp
October 17, 2024 23:44 1m 41s vi.natCast_pow
vi.natCast_pow
October 17, 2024 23:44 1m 41s
Merge branch 'master' into vi.natCast_pow continuous integration #132801: Commit 9b908fb pushed by vihdzp
October 17, 2024 23:44 40m 13s vi.natCast_pow
vi.natCast_pow
October 17, 2024 23:44 40m 13s
Merge branch 'master' into vi.natCast_pow continuous integration (mathlib forks) #141241: Commit 9b908fb pushed by vihdzp
October 17, 2024 23:44 11s vi.natCast_pow
vi.natCast_pow
October 17, 2024 23:44 11s
Update lean-toolchain for testing https://github.com/leanprover/lean4… continuous integration (mathlib forks) #141240: Commit 2613850 pushed by leanprover-community-mathlib4-bot
October 17, 2024 23:41 9s lean-pr-testing-5756
lean-pr-testing-5756
October 17, 2024 23:41 9s
Update lean-toolchain for testing https://github.com/leanprover/lean4… continuous integration #132800: Commit 2613850 pushed by leanprover-community-mathlib4-bot
October 17, 2024 23:41 40m 21s lean-pr-testing-5756
lean-pr-testing-5756
October 17, 2024 23:41 40m 21s