Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
767,409 workflow run results
767,409 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Merged by Bors] - chore: avoid some (0 < ((↑) : ℝ≥0 → ℝ) x) = (0 < x) defeq abuses Maintainer merge (comment) #65989: Issue comment #17946 (comment) created by YaelDillies
October 19, 2024 22:47 2s
October 19, 2024 22:47 2s
[Merged by Bors] - chore: avoid some (0 < ((↑) : ℝ≥0 → ℝ) x) = (0 < x) defeq abuses Add "ready-to-merge" and "delegated" label from comment #60645: Issue comment #17946 (comment) created by YaelDillies
October 19, 2024 22:47 2s
October 19, 2024 22:47 2s
Dependent Issues Dependent Issues #63938: Scheduled
October 19, 2024 22:46 2m 46s master
master
October 19, 2024 22:46 2m 46s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #92007: completed by erdOne
October 19, 2024 22:46 2s
October 19, 2024 22:46 2s
[Merged by Bors] - chore: avoid some (0 < ((↑) : ℝ≥0 → ℝ) x) = (0 < x) defeq abuses Label New Contributors #39053: Pull request #17946 synchronize by FR-vdash-bot
October 19, 2024 22:44 13s FR_nnrat_pos
FR_nnrat_pos
October 19, 2024 22:44 13s
[Merged by Bors] - chore: avoid some (0 < ((↑) : ℝ≥0 → ℝ) x) = (0 < x) defeq abuses Post PR summary comment #24908: Pull request #17946 synchronize by FR-vdash-bot
October 19, 2024 22:44 48s FR_nnrat_pos
FR_nnrat_pos
October 19, 2024 22:44 48s
[Merged by Bors] - chore: avoid some (0 < ((↑) : ℝ≥0 → ℝ) x) = (0 < x) defeq abuses lint and suggest #61297: Pull request #17946 synchronize by FR-vdash-bot
October 19, 2024 22:44 1m 31s FR_nnrat_pos
FR_nnrat_pos
October 19, 2024 22:44 1m 31s
remove the lemma continuous integration #133478: Commit 1833033 pushed by FR-vdash-bot
October 19, 2024 22:44 13m 40s FR_nnrat_pos
FR_nnrat_pos
October 19, 2024 22:44 13m 40s
remove the lemma continuous integration (mathlib forks) #141980: Commit 1833033 pushed by FR-vdash-bot
October 19, 2024 22:44 10s FR_nnrat_pos
FR_nnrat_pos
October 19, 2024 22:44 10s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #92006: completed by urkud
October 19, 2024 22:43 1s
October 19, 2024 22:43 1s
Trigger CI for https://github.com/leanprover/lean4/pull/5684 continuous integration #133477: Commit a7a4aee pushed by leanprover-community-mathlib4-bot
October 19, 2024 22:43 41m 0s lean-pr-testing-5684
lean-pr-testing-5684
October 19, 2024 22:43 41m 0s
Trigger CI for https://github.com/leanprover/lean4/pull/5684 continuous integration (mathlib forks) #141979: Commit a7a4aee pushed by leanprover-community-mathlib4-bot
October 19, 2024 22:43 10s lean-pr-testing-5684
lean-pr-testing-5684
October 19, 2024 22:43 10s
feat: Valuative criterion for properness. Label New Contributors #39052: Pull request #14782 synchronize by erdOne
October 19, 2024 22:41 13s valuativeCriterion
valuativeCriterion
October 19, 2024 22:41 13s
feat: Valuative criterion for properness. lint and suggest #61296: Pull request #14782 synchronize by erdOne
October 19, 2024 22:41 1m 33s valuativeCriterion
valuativeCriterion
October 19, 2024 22:41 1m 33s
feat: Valuative criterion for properness. Post PR summary comment #24907: Pull request #14782 synchronize by erdOne
October 19, 2024 22:41 47s valuativeCriterion
valuativeCriterion
October 19, 2024 22:41 47s
bump mathlib continuous integration (mathlib forks) #141978: Commit 219079e pushed by erdOne
October 19, 2024 22:41 10s valuativeCriterion
valuativeCriterion
October 19, 2024 22:41 10s
bump mathlib continuous integration #133476: Commit 219079e pushed by erdOne
October 19, 2024 22:41 5m 4s valuativeCriterion
valuativeCriterion
October 19, 2024 22:41 5m 4s
feat: define IsLittleOTVS lint and suggest #61295: Pull request #9675 synchronize by urkud
October 19, 2024 22:39 2s YK-isO-TVS
YK-isO-TVS
October 19, 2024 22:39 2s
feat: define IsLittleOTVS Post PR summary comment #24906: Pull request #9675 synchronize by urkud
October 19, 2024 22:39 45s YK-isO-TVS
YK-isO-TVS
October 19, 2024 22:39 45s
feat: define IsLittleOTVS Label New Contributors #39051: Pull request #9675 synchronize by urkud
October 19, 2024 22:39 31s YK-isO-TVS
YK-isO-TVS
October 19, 2024 22:39 31s
Update Mathlib/Analysis/Asymptotics/TVS.lean continuous integration (mathlib forks) #141977: Commit 6b4187c pushed by urkud
October 19, 2024 22:39 13s YK-isO-TVS
YK-isO-TVS
October 19, 2024 22:39 13s
Update Mathlib/Analysis/Asymptotics/TVS.lean continuous integration #133475: Commit 6b4187c pushed by urkud
October 19, 2024 22:39 8m 38s YK-isO-TVS
YK-isO-TVS
October 19, 2024 22:39 8m 38s
bot fix style (review) bot fix style (review) #6025: submitted by urkud
October 19, 2024 22:38 2s
October 19, 2024 22:38 2s
Maintainer merge (review) Maintainer merge (review) #51620: submitted by urkud
October 19, 2024 22:38 2s
October 19, 2024 22:38 2s
bot fix style (review comment) bot fix style (review comment) #8404: created by urkud
October 19, 2024 22:38 2s
October 19, 2024 22:38 2s