Skip to content

Actions: leanprover-community/mathlib4

Actions

continuous integration (staging)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bors.yml
6,960 workflow run results
6,960 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(SuccPred/Basic): minor golf (#16905) continuous integration (staging) #10529: Commit 51a9d75 pushed by mathlib-bors bot
September 18, 2024 17:46 45m 0s staging
staging
September 18, 2024 17:46 45m 0s
feat: Composition.blocksFun_le (#16814) continuous integration (staging) #10528: Commit 95af9be pushed by mathlib-bors bot
September 18, 2024 17:04 42m 8s staging
staging
September 18, 2024 17:04 42m 8s
chore(SetTheory/Ordinal/NaturalOps): fix argument implicitness (#16900) continuous integration (staging) #10527: Commit a5f2999 pushed by mathlib-bors bot
September 18, 2024 16:52 9m 36s staging
staging
September 18, 2024 16:52 9m 36s
feat: generalize projective module results to semirings (#16741) continuous integration (staging) #10526: Commit 3896897 pushed by mathlib-bors bot
September 18, 2024 16:41 10m 58s staging
staging
September 18, 2024 16:41 10m 58s
doc(Algebra/CharP/CharAndCard): correct documentation of not_isUnit_p… continuous integration (staging) #10525: Commit ca613b5 pushed by mathlib-bors bot
September 18, 2024 15:38 9m 13s staging
staging
September 18, 2024 15:38 9m 13s
feat(NumberTheory/LSeries): polish some results on ZMod L-series (#16… continuous integration (staging) #10524: Commit 4599860 pushed by mathlib-bors bot
September 18, 2024 12:50 52m 7s staging
staging
September 18, 2024 12:50 52m 7s
feat(RingTheory/StandardSmooth): base change of standard smooth algeb… continuous integration (staging) #10523: Commit 7476878 pushed by mathlib-bors bot
September 18, 2024 11:42 1h 8m 27s staging
staging
September 18, 2024 11:42 1h 8m 27s
feat: rewrite cylinders and projective families of measures in terms … continuous integration (staging) #10522: Commit e9dae23 pushed by mathlib-bors bot
September 18, 2024 10:16 1h 26m 23s staging
staging
September 18, 2024 10:16 1h 26m 23s
feat (LinearAlgebra/RootSystem) : Construct root systems from bilinea… continuous integration (staging) #10521: Commit a985046 pushed by mathlib-bors bot
September 18, 2024 09:37 38m 33s staging
staging
September 18, 2024 09:37 38m 33s
feat(Analysis/Fourier/ZMod): DFT preserves even/odd functions (#16911) continuous integration (staging) #10520: Commit 36a333a pushed by mathlib-bors bot
September 18, 2024 09:20 16m 44s staging
staging
September 18, 2024 09:20 16m 44s
chore: update Mathlib dependencies 2024-09-18 (#16909) continuous integration (staging) #10519: Commit 474d429 pushed by mathlib-bors bot
September 18, 2024 08:24 45m 7s staging
staging
September 18, 2024 08:24 45m 7s
feat: lemmas on permutations, cycles, etc. (#9602) continuous integration (staging) #10518: Commit f518a55 pushed by mathlib-bors bot
September 18, 2024 07:39 45m 7s staging
staging
September 18, 2024 07:39 45m 7s
chore(SetTheory/Cardinal/Basic): Cardinal.IsLimit → IsSuccLimit (… continuous integration (staging) #10517: Commit c5befd4 pushed by mathlib-bors bot
September 18, 2024 06:51 39m 43s staging
staging
September 18, 2024 06:51 39m 43s
feat(GroupTheory/Archimedean): `LinearOrderedCommGroupWithZero.discre… continuous integration (staging) #10516: Commit 5b61ee9 pushed by mathlib-bors bot
September 18, 2024 06:15 36m 0s staging
staging
September 18, 2024 06:15 36m 0s
CI: fix mk_all (#16896) continuous integration (staging) #10515: Commit 48d8b1d pushed by mathlib-bors bot
September 18, 2024 05:13 8m 42s staging
staging
September 18, 2024 05:13 8m 42s
chore: adaptations for nightly-2024-09-16 (#16855) continuous integration (staging) #10514: Commit 21dc391 pushed by mathlib-bors bot
September 18, 2024 01:59 9m 18s staging
staging
September 18, 2024 01:59 9m 18s
feat(CategoryTheory): proof producing coherence tactic (#16852) continuous integration (staging) #10513: Commit 6a73625 pushed by mathlib-bors bot
September 18, 2024 01:47 12m 38s staging
staging
September 18, 2024 01:47 12m 38s
CI: fix mk_all (#16896) continuous integration (staging) #10512: Commit bd88368 pushed by mathlib-bors bot
September 18, 2024 01:25 6m 31s staging
staging
September 18, 2024 01:25 6m 31s
feat(List/Enum): add lemmas about ∀ x ∈ l.enum, p x etc (#16789) continuous integration (staging) #10511: Commit d7e322a pushed by mathlib-bors bot
September 18, 2024 01:17 12m 59s staging
staging
September 18, 2024 01:17 12m 59s
CI: fix mk_all (#16896) continuous integration (staging) #10510: Commit 71eb08e pushed by mathlib-bors bot
September 18, 2024 01:11 6m 11s staging
staging
September 18, 2024 01:11 6m 11s
feat(Filter/Ker): prove ker_iSup etc (#16632) continuous integration (staging) #10509: Commit f1027bc pushed by mathlib-bors bot
September 18, 2024 01:02 8m 41s staging
staging
September 18, 2024 01:02 8m 41s
CI: fix mk_all (#16896) continuous integration (staging) #10508: Commit 504f14f pushed by mathlib-bors bot
September 18, 2024 00:26 35m 59s staging
staging
September 18, 2024 00:26 35m 59s
feat(Normed/Field): completeSpace_iff_isComplete_closedBall (#15777) continuous integration (staging) #10507: Commit fb04c4b pushed by mathlib-bors bot
September 17, 2024 23:58 27m 45s staging
staging
September 17, 2024 23:58 27m 45s
chore(SetTheory/Cardinal/Basic): inline mul_comm into instance (#16… continuous integration (staging) #10506: Commit 1928609 pushed by mathlib-bors bot
September 17, 2024 23:02 41m 45s staging
staging
September 17, 2024 23:02 41m 45s
feat(RingTheory/StandardSmooth): ring isomorphisms are standard smoot… continuous integration (staging) #10505: Commit 3b220c5 pushed by mathlib-bors bot
September 17, 2024 21:38 27m 32s staging
staging
September 17, 2024 21:38 27m 32s