Skip to content

Actions: leanprover-community/mathlib4

Actions

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
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
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
[Merged by Bors] - chore: protect QuadraticForm.map_zero Post PR summary comment #6012: Pull request #14633 opened by eric-wieser
July 10, 2024 23:56 37s eric-wieser/quadraticform-map_zero
eric-wieser/quadraticform-map_zero
July 10, 2024 23:56 37s
[Merged by Bors] - chore: protect QuadraticForm.map_zero lint and suggest #42398: Pull request #14633 opened by eric-wieser
July 10, 2024 23:56 55s eric-wieser/quadraticform-map_zero
eric-wieser/quadraticform-map_zero
July 10, 2024 23:56 55s
[Merged by Bors] - chore: protect QuadraticForm.map_zero Label New Contributors #20128: Pull request #14633 opened by eric-wieser
July 10, 2024 23:56 14s eric-wieser/quadraticform-map_zero
eric-wieser/quadraticform-map_zero
July 10, 2024 23:56 14s
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
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
eric-wieser/quadraticform-map_zero
July 10, 2024 23:56 11m 53s
[Merged by Bors] - chore(Analysis/Calculus/FDeriv/Extend): use Lean 4 naming scheme lint and suggest #42397: Pull request #14632 opened by dupuisf
July 10, 2024 23:55 54s dupuisf/lean3-naming-fix
dupuisf/lean3-naming-fix
July 10, 2024 23:55 54s
[Merged by Bors] - chore(Analysis/Calculus/FDeriv/Extend): use Lean 4 naming scheme Label New Contributors #20127: Pull request #14632 opened by dupuisf
July 10, 2024 23:55 12s dupuisf/lean3-naming-fix
dupuisf/lean3-naming-fix
July 10, 2024 23:55 12s
[Merged by Bors] - chore(Analysis/Calculus/FDeriv/Extend): use Lean 4 naming scheme Post PR summary comment #6011: Pull request #14632 opened by dupuisf
July 10, 2024 23:55 47s dupuisf/lean3-naming-fix
dupuisf/lean3-naming-fix
July 10, 2024 23:55 47s
fix the names continuous integration (mathlib forks) #112272: Commit bfc4e10 pushed by dupuisf
July 10, 2024 23:52 10s dupuisf/lean3-naming-fix
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
dupuisf/lean3-naming-fix
July 10, 2024 23:52 14m 16s
[Merged by Bors] - refactor(LinearAlgebra/QuadraticForm/Basic) : Generalise QuadraticForm to QuadraticMap Label New Contributors #20126: Pull request #7569 synchronize by eric-wieser
July 10, 2024 23:51 17s mans0954/quadratic-maps
mans0954/quadratic-maps
July 10, 2024 23:51 17s
[Merged by Bors] - refactor(LinearAlgebra/QuadraticForm/Basic) : Generalise QuadraticForm to QuadraticMap Post PR summary comment #6010: Pull request #7569 synchronize by eric-wieser
July 10, 2024 23:51 42s mans0954/quadratic-maps
mans0954/quadratic-maps
July 10, 2024 23:51 42s
[Merged by Bors] - refactor(LinearAlgebra/QuadraticForm/Basic) : Generalise QuadraticForm to QuadraticMap lint and suggest #42396: Pull request #7569 synchronize by eric-wieser
July 10, 2024 23:51 53s mans0954/quadratic-maps
mans0954/quadratic-maps
July 10, 2024 23:51 53s
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
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
mans0954/quadratic-maps
July 10, 2024 23:51 32m 44s
Merge conflicts Merge conflicts #53814: Scheduled
July 10, 2024 23:48 17s master
master
July 10, 2024 23:48 17s
Dependent Issues Dependent Issues #54723: Scheduled
July 10, 2024 23:46 3m 50s master
master
July 10, 2024 23:46 3m 50s