Skip to content

Actions: leanprover-community/mathlib4

Actions

continuous integration (staging)

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(FieldTheory/Galois): move file Galois into folder Galois (#17197) continuous integration (staging) #10690: Commit 68c55d0 pushed by mathlib-bors bot
September 28, 2024 10:21 14m 1s staging
staging
September 28, 2024 10:21 14m 1s
feat(Topology): define IsOpenQuotientMap (#16549) continuous integration (staging) #10689: Commit 488d6b5 pushed by mathlib-bors bot
September 28, 2024 09:50 31m 37s staging
staging
September 28, 2024 09:50 31m 37s
feat: the inverse of an analytic partial homeo is also analytic (#17170) continuous integration (staging) #10688: Commit 8d426f1 pushed by mathlib-bors bot
September 28, 2024 07:48 1h 0m 7s staging
staging
September 28, 2024 07:48 1h 0m 7s
feat(FiberCategory/Fibered): define fibered functors (#12982) continuous integration (staging) #10687: Commit 2b108d1 pushed by mathlib-bors bot
September 27, 2024 22:13 9m 9s staging
staging
September 27, 2024 22:13 9m 9s
chore(UniqueProds): fix some to_additive names (#17072) continuous integration (staging) #10686: Commit 6c1ff14 pushed by mathlib-bors bot
September 27, 2024 21:45 27m 53s staging
staging
September 27, 2024 21:45 27m 53s
feat: add annotations for autolabel workflow (#17188) continuous integration (staging) #10685: Commit 4a7a987 pushed by mathlib-bors bot
September 27, 2024 21:36 8m 45s staging
staging
September 27, 2024 21:36 8m 45s
feat: expand API around analytic functions (#16985) continuous integration (staging) #10684: Commit 7da2960 pushed by mathlib-bors bot
September 27, 2024 18:54 20m 52s staging
staging
September 27, 2024 18:54 20m 52s
feat: the inverse of an analytic partial homeo is also analytic (#17170) continuous integration (staging) #10683: Commit 2bc8c04 pushed by mathlib-bors bot
September 27, 2024 18:39 13m 58s staging
staging
September 27, 2024 18:39 13m 58s
feat: a few lemmas on WithTop ℕ∞ (#17164) continuous integration (staging) #10682: Commit 418c537 pushed by mathlib-bors bot
September 27, 2024 17:57 42m 18s staging
staging
September 27, 2024 17:57 42m 18s
feat(Algebra/Homology): study of the source of the associator isomorp… continuous integration (staging) #10681: Commit 4da4503 pushed by mathlib-bors bot
September 27, 2024 15:51 9m 6s staging
staging
September 27, 2024 15:51 9m 6s
feat(NumberTheory/NumberField): Restricting maps to the ring of integ… continuous integration (staging) #10680: Commit b2639cf pushed by mathlib-bors bot
September 27, 2024 15:03 47m 19s staging
staging
September 27, 2024 15:03 47m 19s
feat: some lemmas on permutation (#9359) continuous integration (staging) #10679: Commit 7abd698 pushed by mathlib-bors bot
September 27, 2024 14:37 9m 28s staging
staging
September 27, 2024 14:37 9m 28s
feat(Analysis/Analytic/IsolatedZeros): the principle of isolated zero… continuous integration (staging) #10678: Commit bd4b829 pushed by mathlib-bors bot
September 27, 2024 13:57 11m 19s staging
staging
September 27, 2024 13:57 11m 19s
feat: some lemmas on permutation (#9359) continuous integration (staging) #10677: Commit e2197ad pushed by mathlib-bors bot
September 27, 2024 13:32 24m 50s staging
staging
September 27, 2024 13:32 24m 50s
chore(Data/SetLike/Basic): fix delaborator (#17151) continuous integration (staging) #10676: Commit 0f85ae2 pushed by mathlib-bors bot
September 27, 2024 11:41 50m 55s staging
staging
September 27, 2024 11:41 50m 55s
chore: update Mathlib dependencies 2024-09-27 (#17184) continuous integration (staging) #10675: Commit a94fd6e pushed by mathlib-bors bot
September 27, 2024 08:09 8m 54s staging
staging
September 27, 2024 08:09 8m 54s
feat(Algebra/Homology): study of the source of the associator isomorp… continuous integration (staging) #10674: Commit 436baf7 pushed by mathlib-bors bot
September 27, 2024 07:42 6m 13s staging
staging
September 27, 2024 07:42 6m 13s
chore: update identity of bot posting Mathlib CI feedback (#17182) continuous integration (staging) #10673: Commit 6396b5e pushed by mathlib-bors bot
September 27, 2024 06:31 9m 26s staging
staging
September 27, 2024 06:31 9m 26s
chore: update Mathlib dependencies 2024-09-27 (#17181) continuous integration (staging) #10672: Commit 3a69888 pushed by mathlib-bors bot
September 27, 2024 06:08 8m 59s staging
staging
September 27, 2024 06:08 8m 59s
chore: update Mathlib dependencies 2024-09-27 (#17179) continuous integration (staging) #10671: Commit 28af520 pushed by mathlib-bors bot
September 27, 2024 02:41 17m 11s staging
staging
September 27, 2024 02:41 17m 11s
refactor(Algebra/Category/ModuleCat): redefine presheaves of modules … continuous integration (staging) #10670: Commit 652e6e7 pushed by mathlib-bors bot
September 27, 2024 01:46 55m 57s staging
staging
September 27, 2024 01:46 55m 57s
feat(Algebra/Homology): study of the source of the associator isomorp… continuous integration (staging) #10669: Commit 8a2c2d0 pushed by mathlib-bors bot
September 27, 2024 01:39 6m 47s staging
staging
September 27, 2024 01:39 6m 47s
feat: report CI results to Batteries for batteries-pr-testing-NNNN br… continuous integration (staging) #10668: Commit cc68ae7 pushed by mathlib-bors bot
September 27, 2024 01:25 8m 54s staging
staging
September 27, 2024 01:25 8m 54s
chore(GroupTheory/DoubleCoset): remove some Subgroup.toSubmonoid (#… continuous integration (staging) #10667: Commit 20ec679 pushed by mathlib-bors bot
September 26, 2024 22:18 9m 6s staging
staging
September 26, 2024 22:18 9m 6s
chore(Data/Fin/Tuple): generalize Type to Sort (#17161) continuous integration (staging) #10666: Commit aaff5ad pushed by mathlib-bors bot
September 26, 2024 17:43 58m 56s staging
staging
September 26, 2024 17:43 58m 56s
ProTip! You can narrow down the results and go further in time using created:<2024-09-26 or the other filters available.