Skip to content

Actions: leanprover-community/mathlib4

Actions

continuous integration (staging)

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(SeparationQuotient): add missing instances (#17239) continuous integration (staging) #10704: Commit 2845f11 pushed by mathlib-bors bot
September 28, 2024 23:34 30m 6s staging
staging
September 28, 2024 23:34 30m 6s
chore(Pointwise): Rename Set to Set.Basic (#17234) continuous integration (staging) #10703: Commit 874e709 pushed by mathlib-bors bot
September 28, 2024 21:49 28m 41s staging
staging
September 28, 2024 21:49 28m 41s
feat(Pointwise): gcongr attributes and a few more lemmas (#17233) continuous integration (staging) #10702: Commit 9b9053e pushed by mathlib-bors bot
September 28, 2024 20:52 27m 16s staging
staging
September 28, 2024 20:52 27m 16s
feat(NumberTheory/FactorisationProperties): abundant, pseudoperfect, … continuous integration (staging) #10701: Commit 11d3502 pushed by mathlib-bors bot
September 28, 2024 20:32 6m 7s staging
staging
September 28, 2024 20:32 6m 7s
feat: order properties of Finset.expect (#16946) continuous integration (staging) #10700: Commit 4ceb2ea pushed by mathlib-bors bot
September 28, 2024 19:40 22m 21s staging
staging
September 28, 2024 19:40 22m 21s
feat(AddChar): more basic lemmas (#17018) continuous integration (staging) #10699: Commit 5a5f390 pushed by mathlib-bors bot
September 28, 2024 19:13 27m 32s staging
staging
September 28, 2024 19:13 27m 32s
chore(Num): Undeprecate (#17207) continuous integration (staging) #10698: Commit a087cde pushed by mathlib-bors bot
September 28, 2024 18:08 10m 23s staging
staging
September 28, 2024 18:08 10m 23s
chore(Finset/Density): Fix statement and make lemmas simp (#17227) continuous integration (staging) #10697: Commit 332b6cd pushed by mathlib-bors bot
September 28, 2024 17:13 54m 52s staging
staging
September 28, 2024 17:13 54m 52s
chore: Make Finset.univ_nonempty be simp (#17216) continuous integration (staging) #10696: Commit 67904bc pushed by mathlib-bors bot
September 28, 2024 16:22 51m 0s staging
staging
September 28, 2024 16:22 51m 0s
feat: x ^ (log x)⁻¹ ≤ exp 1 (#17203) continuous integration (staging) #10695: Commit 01252d1 pushed by mathlib-bors bot
September 28, 2024 16:01 21m 9s staging
staging
September 28, 2024 16:01 21m 9s
feat(Data/Finset): cardinality of a preimage (#17211) continuous integration (staging) #10694: Commit fada5f4 pushed by mathlib-bors bot
September 28, 2024 15:08 53m 27s staging
staging
September 28, 2024 15:08 53m 27s
feat: Binomial theorem for subtraction (#17128) continuous integration (staging) #10693: Commit 6b353d7 pushed by mathlib-bors bot
September 28, 2024 14:33 34m 58s staging
staging
September 28, 2024 14:33 34m 58s
chore(Multilinear): golf (#17198) continuous integration (staging) #10692: Commit 06eff6a pushed by mathlib-bors bot
September 28, 2024 11:27 47m 50s staging
staging
September 28, 2024 11:27 47m 50s
chore: adaptations for nightly-2024-09-26 (#17183) continuous integration (staging) #10691: Commit 1529b74 pushed by mathlib-bors bot
September 28, 2024 10:35 51m 53s staging
staging
September 28, 2024 10:35 51m 53s
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