Skip to content

Actions: leanprover-community/mathlib4

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
608,436 workflow run results
608,436 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix(nlinarith): make findSquares deterministic (#14586)
continuous integration (mathlib forks) #112274: Commit fe8ed50 pushed by mathlib-bors bot
July 10, 2024 23:59 14s staging
July 10, 2024 23:59 14s
fix(nlinarith): make findSquares deterministic (#14586)
continuous integration (staging) #9032: Commit fe8ed50 pushed by mathlib-bors bot
July 10, 2024 23:59 44m 1s staging
July 10, 2024 23:59 44m 1s
[Merged by Bors] - fix(nlinarith): make findSquares deterministic
Label PR based on Comment #28104: Issue comment #14586 (comment) created by eric-wieser
July 10, 2024 23:59 2s
July 10, 2024 23:59 2s
[Merged by Bors] - fix(nlinarith): make findSquares deterministic
Maintainer merge (comment) #51614: Issue comment #14586 (comment) created by eric-wieser
July 10, 2024 23:59 2s
July 10, 2024 23:59 2s
[Merged by Bors] - fix(nlinarith): make findSquares deterministic
Add "ready-to-merge" and "delegated" label from comment #47414: Issue comment #14586 (comment) created by eric-wieser
July 10, 2024 23:59 19s
July 10, 2024 23:59 19s
Maintainer merge (review comment)
Maintainer merge (review comment) #48504: created by eric-wieser
July 10, 2024 23:56 1s
July 10, 2024 23:56 1s
Maintainer merge (review)
Maintainer merge (review) #40598: submitted by eric-wieser
July 10, 2024 23:56 2s
July 10, 2024 23:56 2s
Add "ready-to-merge" and "delegated" label from PR review
Add "ready-to-merge" and "delegated" label from PR review #35473: submitted by eric-wieser
July 10, 2024 23:56 3s
July 10, 2024 23:56 3s
chore: protect QuadraticForm.map_zero
continuous integration (mathlib forks) #112273: Commit 69296c6 pushed by eric-wieser
July 10, 2024 23:56 9s eric-wieser/quadraticform-map_zero
July 10, 2024 23:56 9s
chore: protect QuadraticForm.map_zero
continuous integration #105914: Commit 69296c6 pushed by eric-wieser
July 10, 2024 23:56 11m 53s eric-wieser/quadraticform-map_zero
July 10, 2024 23:56 11m 53s
fix the names
continuous integration (mathlib forks) #112272: Commit bfc4e10 pushed by dupuisf
July 10, 2024 23:52 10s dupuisf/lean3-naming-fix
July 10, 2024 23:52 10s
fix the names
continuous integration #105913: Commit bfc4e10 pushed by dupuisf
July 10, 2024 23:52 14m 16s dupuisf/lean3-naming-fix
July 10, 2024 23:52 14m 16s
Merge branch 'master' into mans0954/quadratic-maps
continuous integration (mathlib forks) #112271: Commit 411786f pushed by eric-wieser
July 10, 2024 23:51 12s mans0954/quadratic-maps
July 10, 2024 23:51 12s
Merge branch 'master' into mans0954/quadratic-maps
continuous integration #105912: Commit 411786f pushed by eric-wieser
July 10, 2024 23:51 32m 44s mans0954/quadratic-maps
July 10, 2024 23:51 32m 44s
Merge conflicts
Merge conflicts #53814: Scheduled
July 10, 2024 23:48 17s master
July 10, 2024 23:48 17s
Dependent Issues
Dependent Issues #54723: Scheduled
July 10, 2024 23:46 3m 50s master
July 10, 2024 23:46 3m 50s