Skip to content

Actions: leanprover-community/mathlib4

Actions

continuous integration (staging)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bors.yml
5,169 workflow run results
5,169 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(Data/Matroid/Map): maps between matroids (#13960) continuous integration (staging) #8782: Commit cf35070 pushed by mathlib-bors bot
June 26, 2024 17:56 21m 37s staging
staging
June 26, 2024 17:56 21m 37s
feat(IsSelfAdjoint): add aesop tags relevant for proving `IsSelfAdj… continuous integration (staging) #8781: Commit 553fe5d pushed by mathlib-bors bot
June 26, 2024 17:20 35m 38s staging
staging
June 26, 2024 17:20 35m 38s
chore(Logic/Basic): drop 3 long-deprecated theorems (#14157) continuous integration (staging) #8780: Commit 7cf04c3 pushed by mathlib-bors bot
June 26, 2024 16:30 49m 58s staging
staging
June 26, 2024 16:30 49m 58s
feat(Data/Fin/Basic): Expand definition of BoundedOrder and `Lattic… continuous integration (staging) #8779: Commit fed9531 pushed by mathlib-bors bot
June 26, 2024 15:37 52m 50s staging
staging
June 26, 2024 15:37 52m 50s
feat: Turán's theorem (#9317) continuous integration (staging) #8778: Commit 0c8452e pushed by mathlib-bors bot
June 26, 2024 14:44 10m 20s staging
staging
June 26, 2024 14:44 10m 20s
chore: tag measurability lemmas with fun_prop (#14123) continuous integration (staging) #8777: Commit 2196143 pushed by mathlib-bors bot
June 26, 2024 13:41 32m 54s staging
staging
June 26, 2024 13:41 32m 54s
perf (TensorProduct.Basic): make Algebra.TensorProduct.mul irreduci… continuous integration (staging) #8776: Commit 7852921 pushed by mathlib-bors bot
June 26, 2024 12:43 57m 40s staging
staging
June 26, 2024 12:43 57m 40s
feat(EllipticCurve): lemmas in Jacobian coordinates (#13846) continuous integration (staging) #8775: Commit 53e093f pushed by mathlib-bors bot
June 26, 2024 12:03 39m 23s staging
staging
June 26, 2024 12:03 39m 23s
feat(LinearAlgebra/TensorProduct/Submodule): add some linear maps ind… continuous integration (staging) #8774: Commit a1cb4f2 pushed by mathlib-bors bot
June 26, 2024 11:25 38m 36s staging
staging
June 26, 2024 11:25 38m 36s
feat(EllipticCurve): affine formulas and bivariate polynomial lemmas … continuous integration (staging) #8773: Commit 7ea5191 pushed by mathlib-bors bot
June 26, 2024 10:10 12m 52s staging
staging
June 26, 2024 10:10 12m 52s
chore: use latest elan in CI (#14144) continuous integration (staging) #8772: Commit caa1d6c pushed by mathlib-bors bot
June 26, 2024 09:21 30m 47s staging
staging
June 26, 2024 09:21 30m 47s
Expand documentation slightly (#14152) continuous integration (staging) #8771: Commit f687f59 pushed by mathlib-bors bot
June 26, 2024 08:43 38m 15s staging
staging
June 26, 2024 08:43 38m 15s
chore: move IsLinearMap theorems to their own file (#14116) continuous integration (staging) #8770: Commit f029851 pushed by mathlib-bors bot
June 26, 2024 08:17 26m 30s staging
staging
June 26, 2024 08:17 26m 30s
chore: fix update_dependencies reporting bot (#14150) continuous integration (staging) #8769: Commit fd27592 pushed by mathlib-bors bot
June 26, 2024 06:41 1h 6m 38s staging
staging
June 26, 2024 06:41 1h 6m 38s
feat: if the body constrains universes, make it explicit in the signa… continuous integration (staging) #8768: Commit d803ff3 pushed by mathlib-bors bot
June 26, 2024 05:43 57m 9s staging
staging
June 26, 2024 05:43 57m 9s
chore: update update_dependencies failure bot (#14147) continuous integration (staging) #8767: Commit a98c032 pushed by mathlib-bors bot
June 26, 2024 05:34 9m 52s staging
staging
June 26, 2024 05:34 9m 52s
chore: fix timestamp in update_dependencies PRs (#14146) continuous integration (staging) #8766: Commit 6308da4 pushed by mathlib-bors bot
June 26, 2024 05:24 9m 42s staging
staging
June 26, 2024 05:24 9m 42s
chore: keep trying with update_dependencies workflow (#14143) continuous integration (staging) #8765: Commit efb8f8f pushed by mathlib-bors bot
June 26, 2024 03:57 9m 41s staging
staging
June 26, 2024 03:57 9m 41s
chore: trying to the update_dependencies workflow working (#14142) continuous integration (staging) #8764: Commit 022088d pushed by mathlib-bors bot
June 26, 2024 02:22 11m 12s staging
staging
June 26, 2024 02:22 11m 12s
chore: reverse gdelta/separation dependency (#13694) continuous integration (staging) #8763: Commit d9d3a89 pushed by mathlib-bors bot
June 26, 2024 01:20 31m 51s staging
staging
June 26, 2024 01:20 31m 51s
chore: add induction_eliminator and cases_eliminator for free obj… continuous integration (staging) #8762: Commit 46b048d pushed by mathlib-bors bot
June 25, 2024 23:57 43m 26s staging
staging
June 25, 2024 23:57 43m 26s
chore: register MulOpposite.rec with induction and cases (#14136) continuous integration (staging) #8761: Commit b35f338 pushed by mathlib-bors bot
June 25, 2024 23:46 11m 0s staging
staging
June 25, 2024 23:46 11m 0s
feat: add Repr instance for quaternions (#13940) continuous integration (staging) #8760: Commit 8857292 pushed by mathlib-bors bot
June 25, 2024 22:19 11m 4s staging
staging
June 25, 2024 22:19 11m 4s
feat(LinearAlgebra/Dimension): Generalize rank_tensorProduct (#14118) continuous integration (staging) #8759: Commit 1328678 pushed by mathlib-bors bot
June 25, 2024 21:22 31m 28s staging
staging
June 25, 2024 21:22 31m 28s
feat(Combinatorics/SimpleGraph): Add theorems about the coloring of t… continuous integration (staging) #8758: Commit 9cff34c pushed by mathlib-bors bot
June 25, 2024 20:52 9m 42s staging
staging
June 25, 2024 20:52 9m 42s