Skip to content

Actions: leanprover-community/mathlib4

Actions

continuous integration (staging)

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(CategoryTheory/Galois): split out definition from Full file (… continuous integration (staging) #10357: Commit 6033a9b pushed by mathlib-bors bot
September 10, 2024 15:17 1m 26s staging
staging
September 10, 2024 15:17 1m 26s
chore: update Mathlib dependencies 2024-09-10 (#16665) continuous integration (staging) #10356: Commit 1064472 pushed by mathlib-bors bot
September 10, 2024 15:16 1m 14s staging
staging
September 10, 2024 15:16 1m 14s
chore(CategoryTheory/Galois): split out definition from Full file (… continuous integration (staging) #10355: Commit 7dbeab8 pushed by mathlib-bors bot
September 10, 2024 14:21 54m 31s staging
staging
September 10, 2024 14:21 54m 31s
feat(RingTheory.LocalRing.ResidueField.Basic): add finite_of_finite (… continuous integration (staging) #10354: Commit dc471f0 pushed by mathlib-bors bot
September 10, 2024 14:11 10m 36s staging
staging
September 10, 2024 14:11 10m 36s
feat(NumberTheory/JacobiSum/Basic): more Jacobi sum values (#16227) continuous integration (staging) #10353: Commit 7fbdf28 pushed by mathlib-bors bot
September 10, 2024 14:00 15m 26s staging
staging
September 10, 2024 14:00 15m 26s
feat(RingTheory.LocalRing.ResidueField.Basic): add finite_of_finite (… continuous integration (staging) #10352: Commit 00de6dc pushed by mathlib-bors bot
September 10, 2024 13:50 9m 47s staging
staging
September 10, 2024 13:50 9m 47s
feat(NumberTheory/JacobiSum/Basic): more Jacobi sum values (#16227) continuous integration (staging) #10351: Commit b2f53ef pushed by mathlib-bors bot
September 10, 2024 13:49 1m 27s staging
staging
September 10, 2024 13:49 1m 27s
feat(Algebra/Polynomial/Splits): show that evaluating a split polynom… continuous integration (staging) #10350: Commit 87d75f9 pushed by mathlib-bors bot
September 10, 2024 12:58 51m 12s staging
staging
September 10, 2024 12:58 51m 12s
feat(Lie/Derivation): general Leibniz rule for Lie derivatives (#16641) continuous integration (staging) #10349: Commit e64b85d pushed by mathlib-bors bot
September 10, 2024 12:32 26m 24s staging
staging
September 10, 2024 12:32 26m 24s
docs(GroupTheory/SpecificGroups/Cyclic): change "Cycle" to "Cyclic" (… continuous integration (staging) #10348: Commit c1d27f1 pushed by mathlib-bors bot
September 10, 2024 11:35 28m 21s staging
staging
September 10, 2024 11:35 28m 21s
feat(Data/Nat/Choose): add basic lemmas (#16448) continuous integration (staging) #10347: Commit 435bca7 pushed by mathlib-bors bot
September 10, 2024 10:43 52m 47s staging
staging
September 10, 2024 10:43 52m 47s
chore(Tactic.StacksAttribute): add kerodon to stacks tag attribute (#… continuous integration (staging) #10346: Commit 6ff2f9b pushed by mathlib-bors bot
September 10, 2024 10:16 26m 41s staging
staging
September 10, 2024 10:16 26m 41s
feat(NumberField/CanonicalEmbedding): make the mixedSpace explicit … continuous integration (staging) #10345: Commit 3bebc67 pushed by mathlib-bors bot
September 10, 2024 09:38 17m 32s staging
staging
September 10, 2024 09:38 17m 32s
feat: generalize Module.Finite.finite_basis to semirings (#16655) continuous integration (staging) #10344: Commit a5f50bc pushed by mathlib-bors bot
September 10, 2024 08:39 58m 30s staging
staging
September 10, 2024 08:39 58m 30s
chore: add custom message for long lines containing " (#16652) continuous integration (staging) #10343: Commit b876d96 pushed by mathlib-bors bot
September 10, 2024 07:48 51m 39s staging
staging
September 10, 2024 07:48 51m 39s
feat(CategoryTheory/MonoidalComp): change IsIso to Iso (#16554) continuous integration (staging) #10342: Commit ba03483 pushed by mathlib-bors bot
September 10, 2024 07:29 15m 40s staging
staging
September 10, 2024 07:29 15m 40s
feat(MvPolynomial/Symmetric): the fundamental theorem (#6593) continuous integration (staging) #10341: Commit 7bce019 pushed by mathlib-bors bot
September 10, 2024 07:15 13m 40s staging
staging
September 10, 2024 07:15 13m 40s
fix: generalize basis_finite_of_finite_spans to semirings (#16636) continuous integration (staging) #10340: Commit 77f9800 pushed by mathlib-bors bot
September 10, 2024 06:46 29m 35s staging
staging
September 10, 2024 06:46 29m 35s
feat(Data.Fin): Add lemma Fin.sub_succ_le_sub_of_le (#15817) continuous integration (staging) #10339: Commit f3bb26d pushed by mathlib-bors bot
September 10, 2024 04:55 50m 59s staging
staging
September 10, 2024 04:55 50m 59s
feat: limsup u ⊤ = ⨆ i, u i in a conditionally complete lattice (#1… continuous integration (staging) #10338: Commit 16981db pushed by mathlib-bors bot
September 10, 2024 03:09 59m 34s staging
staging
September 10, 2024 03:09 59m 34s
refactor: deprecate StarAlgHomClass and similar as they just dupli… continuous integration (staging) #10337: Commit 645d65f pushed by mathlib-bors bot
September 9, 2024 21:54 24m 45s staging
staging
September 9, 2024 21:54 24m 45s
perf: speed up fg_induction (#16635) continuous integration (staging) #10336: Commit d9a27f6 pushed by mathlib-bors bot
September 9, 2024 20:37 29m 14s staging
staging
September 9, 2024 20:37 29m 14s
chore(Filter/Basic): use abbrev (#16624) continuous integration (staging) #10335: Commit 1fa672e pushed by mathlib-bors bot
September 9, 2024 19:55 42m 27s staging
staging
September 9, 2024 19:55 42m 27s
feat: Pi.{zero,one}_{mono,anti} (#16630) continuous integration (staging) #10334: Commit 9d2de1a pushed by mathlib-bors bot
September 9, 2024 18:32 50m 10s staging
staging
September 9, 2024 18:32 50m 10s
feat(ModelTheory/Order): Countable dense linear orders are Fraïssé li… continuous integration (staging) #10333: Commit 23abd25 pushed by mathlib-bors bot
September 9, 2024 16:04 9m 17s staging
staging
September 9, 2024 16:04 9m 17s