Skip to content

Actions: leanprover-community/mathlib4

Actions

continuous integration (staging)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bors.yml
7,252 workflow run results
7,252 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: make a global instance local in ModelTheory.Order (#17271) continuous integration (staging) #10765: Commit d902abe pushed by mathlib-bors bot
October 2, 2024 05:45 15m 17s staging
staging
October 2, 2024 05:45 15m 17s
feat(NumberTheory/{GaussSum|JacobiSum/Basic}): formula for g(χ)^ord(χ… continuous integration (staging) #10764: Commit 9593a64 pushed by mathlib-bors bot
October 2, 2024 05:35 9m 45s staging
staging
October 2, 2024 05:35 9m 45s
feat(Analysis/Normed/{Group,Field}/Ultra): Nonarchimedean norms from … continuous integration (staging) #10763: Commit 081ccd5 pushed by mathlib-bors bot
October 2, 2024 04:55 9m 45s staging
staging
October 2, 2024 04:55 9m 45s
chore: update Mathlib dependencies 2024-10-02 (#17347) continuous integration (staging) #10762: Commit 1235f45 pushed by mathlib-bors bot
October 2, 2024 04:12 8m 59s staging
staging
October 2, 2024 04:12 8m 59s
chore: add a few focusing dots 3 (#17313) continuous integration (staging) #10761: Commit ebabb34 pushed by mathlib-bors bot
October 2, 2024 01:16 13m 17s staging
staging
October 2, 2024 01:16 13m 17s
feat(Combinatorics.SetFamily.Shadow): shadow_singleton (#17340) continuous integration (staging) #10760: Commit bc742f8 pushed by mathlib-bors bot
October 1, 2024 22:56 50m 28s staging
staging
October 1, 2024 22:56 50m 28s
feat: a family of compatible triangularisable endomorphisms are simul… continuous integration (staging) #10759: Commit 9e4a4be pushed by mathlib-bors bot
October 1, 2024 22:14 41m 50s staging
staging
October 1, 2024 22:14 41m 50s
chore: remove repeated variables (#17339) continuous integration (staging) #10758: Commit 20048df pushed by mathlib-bors bot
October 1, 2024 21:09 1h 4m 26s staging
staging
October 1, 2024 21:09 1h 4m 26s
feat(ENNReal): Convenience lemmas (#17277) continuous integration (staging) #10757: Commit ebdf9cc pushed by mathlib-bors bot
October 1, 2024 20:15 53m 48s staging
staging
October 1, 2024 20:15 53m 48s
chore: rename Polynomial.prod_roots_eq_coeff_zero_of_monic_of_split (… continuous integration (staging) #10756: Commit 3a0cb01 pushed by mathlib-bors bot
October 1, 2024 19:58 17m 20s staging
staging
October 1, 2024 19:58 17m 20s
feat(Algebra/TrivSqZeroExt): generalize some results to Invertible … continuous integration (staging) #10755: Commit 00acfa1 pushed by mathlib-bors bot
October 1, 2024 18:56 12m 17s staging
staging
October 1, 2024 18:56 12m 17s
feat(RingTheory/LaurentSeries): prove that Laurent Series over a fiel… continuous integration (staging) #10754: Commit 90a6b82 pushed by mathlib-bors bot
October 1, 2024 18:15 41m 9s staging
staging
October 1, 2024 18:15 41m 9s
feat: ℂ and Finset.expect (#17274) continuous integration (staging) #10753: Commit 1fe4aec pushed by mathlib-bors bot
October 1, 2024 17:04 1h 2m 2s staging
staging
October 1, 2024 17:04 1h 2m 2s
chore: update Mathlib dependencies 2024-10-01 (#17328) continuous integration (staging) #10752: Commit 2ea60e1 pushed by mathlib-bors bot
October 1, 2024 16:18 46m 13s staging
staging
October 1, 2024 16:18 46m 13s
feat: ℂ and Finset.expect (#17274) continuous integration (staging) #10751: Commit b8ec939 pushed by mathlib-bors bot
October 1, 2024 15:45 32m 39s staging
staging
October 1, 2024 15:45 32m 39s
feat(RingTheory/IsTensorProduct): cancel pushout square on the left (… continuous integration (staging) #10750: Commit a9d07e8 pushed by mathlib-bors bot
October 1, 2024 14:56 48m 49s staging
staging
October 1, 2024 14:56 48m 49s
feat: add option for the default length of a file (#17312) continuous integration (staging) #10749: Commit f73be5b pushed by mathlib-bors bot
October 1, 2024 14:00 55m 35s staging
staging
October 1, 2024 14:00 55m 35s
chore(Data/Finset): split lattice file (#17049) continuous integration (staging) #10748: Commit a114e54 pushed by mathlib-bors bot
October 1, 2024 13:10 50m 7s staging
staging
October 1, 2024 13:10 50m 7s
refactor: Generalise the rearrangement inequality (#15815) continuous integration (staging) #10747: Commit 2cb73c7 pushed by mathlib-bors bot
October 1, 2024 11:49 25m 51s staging
staging
October 1, 2024 11:49 25m 51s
chore: rename unique_diff to uniqueDiffOn in theorems (#17291) continuous integration (staging) #10746: Commit 4ae56c1 pushed by mathlib-bors bot
October 1, 2024 11:19 29m 41s staging
staging
October 1, 2024 11:19 29m 41s
feat: inverse of a 1×1 matrix (#17298) continuous integration (staging) #10745: Commit 581d005 pushed by mathlib-bors bot
October 1, 2024 10:43 36m 22s staging
staging
October 1, 2024 10:43 36m 22s
chore: update Mathlib dependencies 2024-10-01 (#17324) continuous integration (staging) #10744: Commit d2126e2 pushed by mathlib-bors bot
October 1, 2024 10:10 8m 53s staging
staging
October 1, 2024 10:10 8m 53s
chore: move to v4.12.0 (#17320) continuous integration (staging) #10743: Commit 809c3fb pushed by mathlib-bors bot
October 1, 2024 08:15 8m 46s staging
staging
October 1, 2024 08:15 8m 46s
chore: update Mathlib dependencies 2024-10-01 (#17322) continuous integration (staging) #10742: Commit 3829434 pushed by mathlib-bors bot
October 1, 2024 08:05 9m 11s staging
staging
October 1, 2024 08:05 9m 11s
chore: tidy various files (#17095) continuous integration (staging) #10741: Commit 0da2361 pushed by mathlib-bors bot
October 1, 2024 05:27 44m 25s staging
staging
October 1, 2024 05:27 44m 25s
ProTip! You can narrow down the results and go further in time using created:<2024-10-01 or the other filters available.