Skip to content
This repository has been archived by the owner on Jul 24, 2024. It is now read-only.

Actions: leanprover-community/mathlib3

Actions

continuous integration (staging)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bors.yml
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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