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

feat: asymptotics lemmas (#17394) continuous integration (staging) #10840: Commit b5895d8 pushed by mathlib-bors bot
October 5, 2024 07:00 53m 36s staging
staging
October 5, 2024 07:00 53m 36s
feat(Filter/AtTopBot): add atTop_neBot_iff (#17428) continuous integration (staging) #10839: Commit 875821f pushed by mathlib-bors bot
October 5, 2024 06:02 57m 55s staging
staging
October 5, 2024 06:02 57m 55s
chore(Analysis/InnerProductSpace/Dual): weaken assumptions to Seminor… continuous integration (staging) #10838: Commit 11fa9c0 pushed by mathlib-bors bot
October 4, 2024 23:30 55m 52s staging
staging
October 4, 2024 23:30 55m 52s
feat(CategoryTheory/Limits): generalize universes for preserving fini… continuous integration (staging) #10837: Commit 584dd88 pushed by mathlib-bors bot
October 4, 2024 21:27 57m 14s staging
staging
October 4, 2024 21:27 57m 14s
feat: not_odd_zero for Nat and Int (#17419) continuous integration (staging) #10836: Commit 2f7bdce pushed by mathlib-bors bot
October 4, 2024 20:24 1h 1m 58s staging
staging
October 4, 2024 20:24 1h 1m 58s
feat: Matrix.trace_units_conj (#17112) continuous integration (staging) #10835: Commit b41734b pushed by mathlib-bors bot
October 4, 2024 19:31 53m 7s staging
staging
October 4, 2024 19:31 53m 7s
chore: make Integrable.of_finite have no explicit argument (#17323) continuous integration (staging) #10834: Commit dfcf58d pushed by mathlib-bors bot
October 4, 2024 18:34 56m 31s staging
staging
October 4, 2024 18:34 56m 31s
feat(Algebra/Group/Equiv): add two simp lemmas for MulEquivClass (#… continuous integration (staging) #10833: Commit 38cbcf0 pushed by mathlib-bors bot
October 4, 2024 17:27 1h 7m 12s staging
staging
October 4, 2024 17:27 1h 7m 12s
chore: make Integrable.of_finite have no explicit argument (#17323) continuous integration (staging) #10832: Commit 7596552 pushed by mathlib-bors bot
October 4, 2024 15:49 1h 38m 13s staging
staging
October 4, 2024 15:49 1h 38m 13s
chore(*): assume Subsingleton Mˣ instead of Unique Mˣ (#17391) continuous integration (staging) #10831: Commit 5e050d4 pushed by mathlib-bors bot
October 4, 2024 14:05 1h 43m 20s staging
staging
October 4, 2024 14:05 1h 43m 20s
feat(Data/Set): monotonicity on insert (#17086) continuous integration (staging) #10830: Commit 2a31948 pushed by mathlib-bors bot
October 4, 2024 12:42 1h 22m 22s staging
staging
October 4, 2024 12:42 1h 22m 22s
chore(Galois/Basic): Fintype → Finite (#17382) continuous integration (staging) #10829: Commit de6e95d pushed by mathlib-bors bot
October 4, 2024 12:12 29m 44s staging
staging
October 4, 2024 12:12 29m 44s
feat(CategoryTheory): lemmas about descOfIsLeftKanExtension for poi… continuous integration (staging) #10828: Commit 5ddd0ae pushed by mathlib-bors bot
October 4, 2024 11:14 57m 53s staging
staging
October 4, 2024 11:14 57m 53s
feat: the canonical bilinear form of the root system of a Lie algebra… continuous integration (staging) #10827: Commit 47ada50 pushed by mathlib-bors bot
October 4, 2024 10:12 1h 1m 32s staging
staging
October 4, 2024 10:12 1h 1m 32s
chore: bump toolchain to v4.13.0-rc3 (#17401) continuous integration (staging) #10826: Commit b758def pushed by mathlib-bors bot
October 4, 2024 09:10 1h 1m 37s staging
staging
October 4, 2024 09:10 1h 1m 37s
chore(Profinite): add Fintype instances (#17380) continuous integration (staging) #10825: Commit 5c8459b pushed by mathlib-bors bot
October 4, 2024 09:02 9m 33s staging
staging
October 4, 2024 09:02 9m 33s
feat: the cosine of π / 5 is (1 + √5) / 4 (#17393) continuous integration (staging) #10824: Commit 4e8b403 pushed by mathlib-bors bot
October 4, 2024 08:21 21m 50s staging
staging
October 4, 2024 08:21 21m 50s
chore: update Mathlib dependencies 2024-10-04 (#17397) continuous integration (staging) #10823: Commit 96f08e7 pushed by mathlib-bors bot
October 4, 2024 08:03 8m 26s staging
staging
October 4, 2024 08:03 8m 26s
ci(nightly_detect_failure): add actionable message in case of failure… continuous integration (staging) #10822: Commit 3ad544d pushed by mathlib-bors bot
October 4, 2024 07:26 8m 53s staging
staging
October 4, 2024 07:26 8m 53s
feat: if a function is analytic on a set, its derivative also is, eve… continuous integration (staging) #10821: Commit b0bcf46 pushed by mathlib-bors bot
October 4, 2024 06:17 25m 0s staging
staging
October 4, 2024 06:17 25m 0s
refactor(Algebra/Field/Subfield): minor golfing (#17376) continuous integration (staging) #10820: Commit 630c632 pushed by mathlib-bors bot
October 4, 2024 04:46 51m 25s staging
staging
October 4, 2024 04:46 51m 25s
chore(Finset): remove old-style spellings (#17327) continuous integration (staging) #10819: Commit 435c3d7 pushed by mathlib-bors bot
October 4, 2024 03:58 48m 13s staging
staging
October 4, 2024 03:58 48m 13s
chore: bump toolchain to v4.13.0-rc2 (#17377) continuous integration (staging) #10818: Commit 1c37f1e pushed by mathlib-bors bot
October 4, 2024 03:33 8m 52s staging
staging
October 4, 2024 03:33 8m 52s
chore: bump toolchain to v4.13.0-rc1 (#17377) continuous integration (staging) #10817: Commit f641187 pushed by mathlib-bors bot
October 3, 2024 22:46 47m 41s staging
staging
October 3, 2024 22:46 47m 41s
chore: bump toolchain to v4.13.0-rc1 (#17377) continuous integration (staging) #10816: Commit 7b7ba3d pushed by mathlib-bors bot
October 3, 2024 22:22 27m 26s staging
staging
October 3, 2024 22:22 27m 26s