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

chore(*): add 3 fun_prop attrs (#14040) continuous integration (staging) #8757: Commit e571678 pushed by mathlib-bors bot
June 25, 2024 20:15 31m 32s staging
staging
June 25, 2024 20:15 31m 32s
feat(Topology/NNReal): add Real.map_toNNReal_atTop (#13983) continuous integration (staging) #8756: Commit 92882dd pushed by mathlib-bors bot
June 25, 2024 17:24 26m 27s staging
staging
June 25, 2024 17:24 26m 27s
feat(GroupTheory/OrderOfElement): Add lemma orderOf_mk (#14104) continuous integration (staging) #8755: Commit 377f9e9 pushed by mathlib-bors bot
June 25, 2024 16:50 34m 21s staging
staging
June 25, 2024 16:50 34m 21s
chore: move IsLinearMap theorems to their own file (#14116) continuous integration (staging) #8754: Commit 5c2c1b8 pushed by mathlib-bors bot
June 25, 2024 16:46 4m 50s staging
staging
June 25, 2024 16:46 4m 50s
feat: sheaves of modules generated by their sections (#13720) continuous integration (staging) #8753: Commit 7e4afad pushed by mathlib-bors bot
June 25, 2024 14:51 34m 49s staging
staging
June 25, 2024 14:51 34m 49s
feat: relative differentials as a presheaf of modules (#14014) continuous integration (staging) #8752: Commit 6d4ab88 pushed by mathlib-bors bot
June 25, 2024 14:40 11m 3s staging
staging
June 25, 2024 14:40 11m 3s
feat(Data/Real/EReal): add simp theorems involving the sum of ⊤ and… continuous integration (staging) #8751: Commit c4f1cc8 pushed by mathlib-bors bot
June 25, 2024 13:18 22m 2s staging
staging
June 25, 2024 13:18 22m 2s
refactor: Improve lemmas about sets of intermediate size (#14062) continuous integration (staging) #8750: Commit 9a2e9d3 pushed by mathlib-bors bot
June 25, 2024 12:23 55m 8s staging
staging
June 25, 2024 12:23 55m 8s
refactor: Improve lemmas about sets of intermediate size (#14062) continuous integration (staging) #8749: Commit 0b524e5 pushed by mathlib-bors bot
June 25, 2024 12:20 3m 3s staging
staging
June 25, 2024 12:20 3m 3s
chore(MeasureTheory): replace continuity -> fun_prop (#14008) continuous integration (staging) #8748: Commit cd7c517 pushed by mathlib-bors bot
June 25, 2024 11:39 28m 39s staging
staging
June 25, 2024 11:39 28m 39s
fix: add -lLake argument to pole and mk_all (#13850) continuous integration (staging) #8747: Commit 1d8ad31 pushed by mathlib-bors bot
June 25, 2024 10:40 58m 44s staging
staging
June 25, 2024 10:40 58m 44s
chore(HomotopyCategory/Pretriangulated): remove 'says' that cause tim… continuous integration (staging) #8746: Commit 81a6a26 pushed by mathlib-bors bot
June 25, 2024 09:57 38m 11s staging
staging
June 25, 2024 09:57 38m 11s
chore: downgrade ProofWidgets to v0.0.36 (#14113) continuous integration (staging) #8745: Commit 5324fdb pushed by mathlib-bors bot
June 25, 2024 09:01 55m 44s staging
staging
June 25, 2024 09:01 55m 44s
chore(README): updates (#14112) continuous integration (staging) #8744: Commit 397d878 pushed by mathlib-bors bot
June 25, 2024 08:50 10m 33s staging
staging
June 25, 2024 08:50 10m 33s
docs(Algebra/Order/Module/Defs): more implications (#13931) continuous integration (staging) #8743: Commit 4002180 pushed by mathlib-bors bot
June 25, 2024 08:08 42m 6s staging
staging
June 25, 2024 08:08 42m 6s
chore(README): update maintainers (#14111) continuous integration (staging) #8742: Commit dc8cf8b pushed by mathlib-bors bot
June 25, 2024 06:59 10m 37s staging
staging
June 25, 2024 06:59 10m 37s
feat(CategoryTheory): constructor for right derivability structures (… continuous integration (staging) #8741: Commit c9d0d58 pushed by mathlib-bors bot
June 25, 2024 06:39 20m 11s staging
staging
June 25, 2024 06:39 20m 11s
feat(Algebra/Homology) the single complex functor preserves (co)limit… continuous integration (staging) #8740: Commit 7bdafea pushed by mathlib-bors bot
June 25, 2024 06:18 21m 5s staging
staging
June 25, 2024 06:18 21m 5s
refactor(AlgebraicGeometry): Use Scheme.Hom.app as simp normal form… continuous integration (staging) #8739: Commit b0f8ad0 pushed by mathlib-bors bot
June 25, 2024 05:48 10m 32s staging
staging
June 25, 2024 05:48 10m 32s
feat: rewrite line length style linter in Lean (#14093) continuous integration (staging) #8738: Commit 55f6240 pushed by mathlib-bors bot
June 25, 2024 01:47 19m 36s staging
staging
June 25, 2024 01:47 19m 36s
chore: bump ProofWidgets4 to v0.0.37 (#14092) continuous integration (staging) #8737: Commit 68c0387 pushed by mathlib-bors bot
June 25, 2024 00:47 59m 34s staging
staging
June 25, 2024 00:47 59m 34s
feat(RingTheory/MvPolynomial): multivariate polynomials preserve loca… continuous integration (staging) #8736: Commit 3dce761 pushed by mathlib-bors bot
June 25, 2024 00:00 47m 32s staging
staging
June 25, 2024 00:00 47m 32s
feat(Logic): Add iff_assoc, iff_left_comm and iff_right_comm th… continuous integration (staging) #8735: Commit 9b48e04 pushed by mathlib-bors bot
June 24, 2024 22:59 53m 56s staging
staging
June 24, 2024 22:59 53m 56s
chore: remove set_option in (#14103) continuous integration (staging) #8734: Commit 0cc920e pushed by mathlib-bors bot
June 24, 2024 22:33 25m 35s staging
staging
June 24, 2024 22:33 25m 35s
feat: G.deleteEdges s = G ↔ Disjoint G.edgeSet s (#13829) continuous integration (staging) #8733: Commit 97a63f4 pushed by mathlib-bors bot
June 24, 2024 22:22 10m 46s staging
staging
June 24, 2024 22:22 10m 46s