Skip to content

Actions: leanprover-community/mathlib

Actions

continuous integration (staging)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bors.yml
408 workflow runs
408 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
feat(data/{list,multiset,finset}/*): attach and filter lemmas (#1… continuous integration (staging) #6624: Commit 65a1391 pushed by bors bot
October 30, 2023 15:07 3h 21m 1s staging
staging
October 30, 2023 15:07 3h 21m 1s
feat(combinatorics/simple_graph): More clique lemmas (#19203) continuous integration (staging) #6623: Commit 3365b20 pushed by bors bot
October 22, 2023 19:51 3h 34m 10s staging
staging
October 22, 2023 19:51 3h 34m 10s
feat(measure_theory/order/upper_lower): Order-connected sets in ℝⁿ … continuous integration (staging) #6622: Commit 4e97610 pushed by bors bot
October 16, 2023 09:24 3h 16m 44s staging
staging
October 16, 2023 09:24 3h 16m 44s
doc: Add a warning mentioning Lean 4 to the readme (#19243) continuous integration (staging) #6621: Commit 3ac76ec pushed by bors bot
October 10, 2023 22:55 1h 20m 44s staging
staging
October 10, 2023 22:55 1h 20m 44s
continuous integration (staging) continuous integration (staging) #6620: by bors bot
October 9, 2023 14:38 2h 18m 57s staging
staging
October 9, 2023 14:38 2h 18m 57s
feat(topology/algebra/order/liminf_limsup): Eventual boundedness of n… continuous integration (staging) #6619: Commit ce64cd3 pushed by bors bot
September 18, 2023 15:31 2h 7m 50s staging
staging
September 18, 2023 15:31 2h 7m 50s
feat(probability/independence): Independence of singletons (#18506) continuous integration (staging) #6618: Commit 001ffdc pushed by bors bot
September 12, 2023 23:46 3h 11m 31s staging
staging
September 12, 2023 23:46 3h 11m 31s
feat(combinatorics/set_family/ahlswede_zhang): Ahlswede-Zhang identit… continuous integration (staging) #6617: Commit 8818fde pushed by bors bot
September 12, 2023 13:12 1h 7m 14s staging
staging
September 12, 2023 13:12 1h 7m 14s
feat(probability/independence): Independence of singletons (#18506) continuous integration (staging) #6616: Commit 57d5758 pushed by bors bot
September 10, 2023 16:41 1h 42m 46s staging
staging
September 10, 2023 16:41 1h 42m 46s
feat(data/finset/lattice): sup'/inf' lemmas (#18989) continuous integration (staging) #6615: Commit 442a83d pushed by bors bot
August 31, 2023 08:51 3h 27m 3s staging
staging
August 31, 2023 08:51 3h 27m 3s
chore(order/liminf_limsup): Generalise and move lemmas (#18628) continuous integration (staging) #6614: Commit ffde2d8 pushed by bors bot
August 28, 2023 11:58 3h 27m 32s staging
staging
August 28, 2023 11:58 3h 27m 32s
feat(data/finset/lattice): sup'/inf' lemmas (#18989) continuous integration (staging) #6613: Commit 5184cd7 pushed by bors bot
August 28, 2023 08:49 3h 9m 19s staging
staging
August 28, 2023 08:49 3h 9m 19s
chore(order/liminf_limsup): Generalise and move lemmas (#18628) continuous integration (staging) #6612: Commit 1eec850 pushed by bors bot
August 28, 2023 08:42 6m 44s staging
staging
August 28, 2023 08:42 6m 44s
feat(data/finset/lattice): sup'/inf' lemmas (#18989) continuous integration (staging) #6611: Commit ae5ed9d pushed by bors bot
August 28, 2023 08:36 5m 56s staging
staging
August 28, 2023 08:36 5m 56s
feat(data/finset/lattice): sup'/inf' lemmas (#18989) continuous integration (staging) #6610: Commit bdad59e pushed by bors bot
August 28, 2023 08:11 30m 6s staging
staging
August 28, 2023 08:11 30m 6s
feat(algebraic_topology/dold_kan): The Dold-Kan equivalence for abeli… continuous integration (staging) #6609: Commit 32a7e53 pushed by bors bot
August 5, 2023 18:07 1h 7m 47s staging
staging
August 5, 2023 18:07 1h 7m 47s
feat(data/sum/interval): The lexicographic sum of two locally finite … continuous integration (staging) #6608: Commit 48a058d pushed by bors bot
August 2, 2023 16:47 2h 55m 38s staging
staging
August 2, 2023 16:47 2h 55m 38s
feat(analysis/convex/proj_Icc): Extending convex functions (#18797) continuous integration (staging) #6607: Commit 3ba1516 pushed by bors bot
August 2, 2023 13:21 3h 26m 24s staging
staging
August 2, 2023 13:21 3h 26m 24s
feat(algebraic_topology/dold_kan): The Dold-Kan equivalence for pseud… continuous integration (staging) #6606: Commit 63721b2 pushed by bors bot
July 30, 2023 10:18 1h 39m 29s staging
staging
July 30, 2023 10:18 1h 39m 29s
feat(measure_theory/measure/haar_quotient): the Unfolding Trick (#18863) continuous integration (staging) #6605: Commit 3b52265 pushed by bors bot
July 28, 2023 12:48 2h 54m 27s staging
staging
July 28, 2023 12:48 2h 54m 27s
feat(linear_algebra/orientation): add orientation.reindex (#19236) continuous integration (staging) #6604: Commit 0c1d80f pushed by bors bot
July 28, 2023 10:11 1h 49m 25s staging
staging
July 28, 2023 10:11 1h 49m 25s
feat(tactic/positivity): Extension for ite (#17650) continuous integration (staging) #6603: Commit e90e0a6 pushed by bors bot
July 28, 2023 07:23 2h 47m 18s staging
staging
July 28, 2023 07:23 2h 47m 18s
feat(analysis/normed_space/continuous_linear_map): generalize typecla… continuous integration (staging) #6602: Commit fe18ded pushed by bors bot
July 27, 2023 10:40 1h 55m 25s staging
staging
July 27, 2023 10:40 1h 55m 25s
feat(linear_algebra/quadratic_form): some work from 'Clifford Algebra… continuous integration (staging) #6601: Commit d11f435 pushed by bors bot
July 26, 2023 13:39 1h 29m 34s staging
staging
July 26, 2023 13:39 1h 29m 34s
feat(algebraic_topology/dold_kan): tools for compatibilities, lemmas … continuous integration (staging) #6600: Commit 18ee599 pushed by bors bot
July 25, 2023 05:26 1h 3m 15s staging
staging
July 25, 2023 05:26 1h 3m 15s