Skip to content

Actions: leanprover-community/mathlib4

Actions

continuous integration (staging)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bors.yml
8,041 workflow run results
8,041 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: rename no_lints_prime_decls.txt to nolints_... (#19383) continuous integration (staging) #12153: Commit b0890aa pushed by mathlib-bors bot
November 22, 2024 22:03 40m 7s staging
staging
November 22, 2024 22:03 40m 7s
chore: split Algebra.Group.Nat (#19375) continuous integration (staging) #12152: Commit dd74f01 pushed by mathlib-bors bot
November 22, 2024 21:24 38m 35s staging
staging
November 22, 2024 21:24 38m 35s
feat(AlgebraicTopology/SimplicialSet): Add auxiliary ext lemma for pa… continuous integration (staging) #12151: Commit 3d401e0 pushed by mathlib-bors bot
November 22, 2024 18:29 8m 43s staging
staging
November 22, 2024 18:29 8m 43s
feat(RingTheory/PowerSeries/Basic): Polynomial.coe_sub and `Polynom… continuous integration (staging) #12150: Commit 178af37 pushed by mathlib-bors bot
November 22, 2024 18:05 10m 29s staging
staging
November 22, 2024 18:05 10m 29s
perf: header linter performs fewer checks (#19260) continuous integration (staging) #12149: Commit e03117d pushed by mathlib-bors bot
November 22, 2024 17:25 40m 6s staging
staging
November 22, 2024 17:25 40m 6s
feat(LinearAlgebra/Matrix/Determinant/TotallyUnimodular): iff_fintype… continuous integration (staging) #12148: Commit be959a9 pushed by mathlib-bors bot
November 22, 2024 13:33 8m 30s staging
staging
November 22, 2024 13:33 8m 30s
feat(FieldTheory.JacobsonNoether) : add proof of the Jacobson-Noether… continuous integration (staging) #12147: Commit d380d2c pushed by mathlib-bors bot
November 22, 2024 13:04 30m 3s staging
staging
November 22, 2024 13:04 30m 3s
docs(LinearAlgebra/Matrix/Determinant/Basic): det_submatrix_equiv_sel… continuous integration (staging) #12146: Commit 0c44f32 pushed by mathlib-bors bot
November 22, 2024 11:41 18m 55s staging
staging
November 22, 2024 11:41 18m 55s
doc(Algebra/Central/Defs): correct doc (#19363) continuous integration (staging) #12145: Commit 81381ad pushed by mathlib-bors bot
November 22, 2024 11:21 8m 44s staging
staging
November 22, 2024 11:21 8m 44s
feat: Matrix.abs_det_submatrix_equiv_equiv (#19332) continuous integration (staging) #12144: Commit dc8fc4e pushed by mathlib-bors bot
November 22, 2024 10:43 28m 46s staging
staging
November 22, 2024 10:43 28m 46s
docs(RingTheory/Finiteness/Defs): specify namespace of Finite (#19359) continuous integration (staging) #12143: Commit d511775 pushed by mathlib-bors bot
November 22, 2024 10:20 22m 12s staging
staging
November 22, 2024 10:20 22m 12s
chore: move def MonoidHom.inverse to earlier defs file (#19348) continuous integration (staging) #12142: Commit 944e357 pushed by mathlib-bors bot
November 22, 2024 09:37 43m 23s staging
staging
November 22, 2024 09:37 43m 23s
chore: split Algebra.Group.TypeTags (#19351) continuous integration (staging) #12141: Commit 8e3e89e pushed by mathlib-bors bot
November 22, 2024 08:58 39m 11s staging
staging
November 22, 2024 08:58 39m 11s
chore: add shortcut instances after LinearOrder Nat (#19346) continuous integration (staging) #12140: Commit af19119 pushed by mathlib-bors bot
November 22, 2024 08:14 44m 18s staging
staging
November 22, 2024 08:14 44m 18s
chore(discover-lean-pr-testing): fix multiline output to GITHUB_OUTPU… continuous integration (staging) #12139: Commit 2bb0410 pushed by mathlib-bors bot
November 22, 2024 05:55 8m 46s staging
staging
November 22, 2024 05:55 8m 46s
chore(SchwartzSpace): clean up white space (#19336) continuous integration (staging) #12138: Commit 981dca5 pushed by mathlib-bors bot
November 22, 2024 05:01 9m 58s staging
staging
November 22, 2024 05:01 9m 58s
feat(NumberTheory/LSeries/PrimesInAP): new file (#19344) continuous integration (staging) #12137: Commit fe0e8bc pushed by mathlib-bors bot
November 22, 2024 04:40 20m 39s staging
staging
November 22, 2024 04:40 20m 39s
chore(Topology/Order): rename 2 lemmas (#19261) continuous integration (staging) #12136: Commit 43c9317 pushed by mathlib-bors bot
November 22, 2024 02:00 8m 41s staging
staging
November 22, 2024 02:00 8m 41s
feat: rewrite the trailing whitespace linter in Lean (#16334) continuous integration (staging) #12135: Commit 1f86e43 pushed by mathlib-bors bot
November 22, 2024 01:48 8m 51s staging
staging
November 22, 2024 01:48 8m 51s
chore(Topology/Order): move&generalize 4 lemmas (#19238) continuous integration (staging) #12134: Commit ff67e33 pushed by mathlib-bors bot
November 22, 2024 00:49 22m 45s staging
staging
November 22, 2024 00:49 22m 45s
style(Data/Matrix/Block): define Matrix.fromBlocks more estheticall… continuous integration (staging) #12133: Commit b513113 pushed by mathlib-bors bot
November 21, 2024 21:45 22m 43s staging
staging
November 21, 2024 21:45 22m 43s
refactor: use SignType to define IsTotallyUnimodular (#19345) continuous integration (staging) #12132: Commit 439565f pushed by mathlib-bors bot
November 21, 2024 21:37 8m 36s staging
staging
November 21, 2024 21:37 8m 36s
feat(Data/Nat/Factorization/PrimePow): add equivalence Primes × ℕ ≃ P… continuous integration (staging) #12131: Commit 2d53f5f pushed by mathlib-bors bot
November 21, 2024 17:01 10m 53s staging
staging
November 21, 2024 17:01 10m 53s
chore: lighten tactics (#19318) continuous integration (staging) #12130: Commit 06553ac pushed by mathlib-bors bot
November 21, 2024 16:01 19m 43s staging
staging
November 21, 2024 16:01 19m 43s
docs: Matrix.IsTotallyUnimodular docstring (#19338) continuous integration (staging) #12129: Commit d1c99f2 pushed by mathlib-bors bot
November 21, 2024 15:34 27m 15s staging
staging
November 21, 2024 15:34 27m 15s