Skip to content

Actions: leanprover-community/mathlib4

Actions

continuous integration (staging)

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(NumberTheory/LSeries/Convergence): add lemma on real-valued seri… continuous integration (staging) #12128: Commit d59b190 pushed by mathlib-bors bot
November 21, 2024 14:50 9m 25s staging
staging
November 21, 2024 14:50 9m 25s
chore: update Mathlib dependencies 2024-11-21 (#19333) continuous integration (staging) #12127: Commit 29b03c8 pushed by mathlib-bors bot
November 21, 2024 13:55 8m 37s staging
staging
November 21, 2024 13:55 8m 37s
feat(RingTheory/DividedPowers/Basic): definition of divided powers (#… continuous integration (staging) #12126: Commit bded1a9 pushed by mathlib-bors bot
November 21, 2024 12:36 24m 28s staging
staging
November 21, 2024 12:36 24m 28s
chore: adaptations for nightly-2024-11-21 (#19331) continuous integration (staging) #12125: Commit 77813d7 pushed by mathlib-bors bot
November 21, 2024 11:42 8m 45s staging
staging
November 21, 2024 11:42 8m 45s
feat(Data/Int/Interval): add Icc_eq_pair (#19308) continuous integration (staging) #12124: Commit 840e02c pushed by mathlib-bors bot
November 21, 2024 10:33 29m 21s staging
staging
November 21, 2024 10:33 29m 21s
chore: rename Nat.prime_def_lt'' to Nat.prime_def (#19255) continuous integration (staging) #12123: Commit c2fcf77 pushed by mathlib-bors bot
November 21, 2024 10:01 28m 19s staging
staging
November 21, 2024 10:01 28m 19s
chore(Algebra/Group/Subgroup): split Lattice, Map, Ker from `Ba… continuous integration (staging) #12122: Commit e4a142c pushed by mathlib-bors bot
November 21, 2024 09:25 36m 16s staging
staging
November 21, 2024 09:25 36m 16s
feat: Measure.count s = 0 ↔ s = ∅ unconditionally (#19287) continuous integration (staging) #12121: Commit 1e5f38b pushed by mathlib-bors bot
November 21, 2024 08:54 17m 4s staging
staging
November 21, 2024 08:54 17m 4s
chore: assorted golf (#19319) continuous integration (staging) #12120: Commit ab49b83 pushed by mathlib-bors bot
November 21, 2024 06:49 15m 12s staging
staging
November 21, 2024 06:49 15m 12s
chore: update Mathlib dependencies 2024-11-21 (#19317) continuous integration (staging) #12119: Commit 2a1fef1 pushed by mathlib-bors bot
November 21, 2024 05:54 9m 1s staging
staging
November 21, 2024 05:54 9m 1s
chore(discover-lean-pr-testing): determine old and new lean-toolchain… continuous integration (staging) #12118: Commit 79ca167 pushed by mathlib-bors bot
November 21, 2024 05:46 8m 47s staging
staging
November 21, 2024 05:46 8m 47s
chore: adaptations for nightly-2024-11-20 (#19314) continuous integration (staging) #12117: Commit c7a792c pushed by mathlib-bors bot
November 21, 2024 04:59 8m 33s staging
staging
November 21, 2024 04:59 8m 33s
chore(CI): remove redundant bors x actions, clean up new one (#19313) continuous integration (staging) #12116: Commit bc56b5c pushed by mathlib-bors bot
November 21, 2024 04:49 8m 42s staging
staging
November 21, 2024 04:49 8m 42s
fix: more stable choice of representative for atoms in ring and `ab… continuous integration (staging) #12115: Commit ebe784e pushed by mathlib-bors bot
November 21, 2024 03:58 34m 51s staging
staging
November 21, 2024 03:58 34m 51s
fix: silence the header linter on non-Mathlib.lean imported files (… continuous integration (staging) #12114: Commit 21add20 pushed by mathlib-bors bot
November 21, 2024 03:15 42m 45s staging
staging
November 21, 2024 03:15 42m 45s
chore: import Tactic.Positivity.Finset in Tactic.Positivity (#18146) continuous integration (staging) #12113: Commit 50c8065 pushed by mathlib-bors bot
November 20, 2024 23:50 30m 1s staging
staging
November 20, 2024 23:50 30m 1s
chore: nolint div_le_div_iff' (#19309) continuous integration (staging) #12112: Commit 232f84f pushed by mathlib-bors bot
November 20, 2024 22:27 41m 59s staging
staging
November 20, 2024 22:27 41m 59s
feat(Order/Max): add IsTop.isMax_iff and IsBot.isMin_iff (#19305) continuous integration (staging) #12111: Commit c44399d pushed by mathlib-bors bot
November 20, 2024 22:00 26m 41s staging
staging
November 20, 2024 22:00 26m 41s
fix: more explicit PR number in bors x actions (#19304) continuous integration (staging) #12110: Commit 961ee9d pushed by mathlib-bors bot
November 20, 2024 21:00 8m 59s staging
staging
November 20, 2024 21:00 8m 59s
feat (LinearAlgebra/RootSystem/Finite): nondegeneracy of canonical bi… continuous integration (staging) #12109: Commit 3c79dac pushed by mathlib-bors bot
November 20, 2024 20:34 25m 45s staging
staging
November 20, 2024 20:34 25m 45s
feat(Topology/MetricSpace/Pseudo/Defs): add dense_iff_iUnion_ball a… continuous integration (staging) #12108: Commit bb8094a pushed by mathlib-bors bot
November 20, 2024 20:07 21m 42s staging
staging
November 20, 2024 20:07 21m 42s
feat(AlgebraicGeometry): Proj is separated (#19290) continuous integration (staging) #12107: Commit 9f24be2 pushed by mathlib-bors bot
November 20, 2024 19:44 12m 32s staging
staging
November 20, 2024 19:44 12m 32s
fix: >> and print author (#19300) continuous integration (staging) #12106: Commit 8e0d70c pushed by mathlib-bors bot
November 20, 2024 18:07 7m 57s staging
staging
November 20, 2024 18:07 7m 57s
chore(RingTheory): improve and generalize submodule localization API … continuous integration (staging) #12105: Commit a5d04c8 pushed by mathlib-bors bot
November 20, 2024 17:19 39m 2s staging
staging
November 20, 2024 17:19 39m 2s
feat(NumberTheory/LSeries/DirichletContinuation): results on logarith… continuous integration (staging) #12104: Commit 46d221c pushed by mathlib-bors bot
November 20, 2024 17:06 8m 42s staging
staging
November 20, 2024 17:06 8m 42s