Skip to content

Actions: leanprover-community/mathlib4

Actions

continuous integration (staging)

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(CategoryTheory/IsConnected): add refl etc annotations (#19017) continuous integration (staging) #12103: Commit 8eed883 pushed by mathlib-bors bot
November 20, 2024 16:53 13m 26s staging
staging
November 20, 2024 16:53 13m 26s
feat(CI): merge bors (#19078) continuous integration (staging) #12102: Commit 238cb18 pushed by mathlib-bors bot
November 20, 2024 15:32 9m 10s staging
staging
November 20, 2024 15:32 9m 10s
fix(CI): fail if tests are noisy (#19268) continuous integration (staging) #12101: Commit 92f63d5 pushed by mathlib-bors bot
November 20, 2024 14:53 9m 1s staging
staging
November 20, 2024 14:53 9m 1s
chore: deprecate Quotient.out' (#17941) continuous integration (staging) #12100: Commit f02eb61 pushed by mathlib-bors bot
November 20, 2024 14:09 44m 6s staging
staging
November 20, 2024 14:09 44m 6s
feat(CI): add a log of the size of the oleans (#19283) continuous integration (staging) #12099: Commit fb23240 pushed by mathlib-bors bot
November 20, 2024 13:28 40m 37s staging
staging
November 20, 2024 13:28 40m 37s
ci: print the existing update PR, if found (#19218) continuous integration (staging) #12098: Commit fc5f449 pushed by mathlib-bors bot
November 20, 2024 13:18 10m 0s staging
staging
November 20, 2024 13:18 10m 0s
feat: cardinality of Field.Emb for algebraic extensions of infinite… continuous integration (staging) #12097: Commit 79ee32e pushed by mathlib-bors bot
November 20, 2024 12:45 33m 27s staging
staging
November 20, 2024 12:45 33m 27s
feat(KrullDimension): concrete calculations (#19210) continuous integration (staging) #12096: Commit cd4d218 pushed by mathlib-bors bot
November 20, 2024 12:32 12m 50s staging
staging
November 20, 2024 12:32 12m 50s
chore: adaptations for nightly-2024-11-19 (#19265) continuous integration (staging) #12095: Commit 1754b66 pushed by mathlib-bors bot
November 20, 2024 12:23 8m 59s staging
staging
November 20, 2024 12:23 8m 59s
chore: bump dependencies (#19279) continuous integration (staging) #12094: Commit 9da2651 pushed by mathlib-bors bot
November 20, 2024 11:43 40m 22s staging
staging
November 20, 2024 11:43 40m 22s
chore: deprecate LinearOrderedCommGroupWithZero lemmas (#19197) continuous integration (staging) #12093: Commit e69c306 pushed by mathlib-bors bot
November 20, 2024 10:54 48m 51s staging
staging
November 20, 2024 10:54 48m 51s
feat: bounds for modular forms of non-positive weights (#18192) continuous integration (staging) #12092: Commit ad04df3 pushed by mathlib-bors bot
November 20, 2024 10:44 9m 27s staging
staging
November 20, 2024 10:44 9m 27s
feat(ModelTheory): Ax-Grothendieck (#6468) continuous integration (staging) #12091: Commit 6095b78 pushed by mathlib-bors bot
November 20, 2024 10:13 9m 2s staging
staging
November 20, 2024 10:13 9m 2s
chore(Algebra/Module): further split Defs.lean (#18995) continuous integration (staging) #12090: Commit 2fb27be pushed by mathlib-bors bot
November 20, 2024 09:38 34m 51s staging
staging
November 20, 2024 09:38 34m 51s
chore: delete unused private lemma in Complex/exponential (#19263) continuous integration (staging) #12089: Commit ef950f1 pushed by mathlib-bors bot
November 20, 2024 09:05 33m 4s staging
staging
November 20, 2024 09:05 33m 4s
feat(Order/WithBot): Equiv.withBotSubtypeNe (#19251) continuous integration (staging) #12088: Commit 55c020e pushed by mathlib-bors bot
November 20, 2024 08:25 40m 32s staging
staging
November 20, 2024 08:25 40m 32s
feat(Data/Nat/Nth): nth_mem_anti (#19169) continuous integration (staging) #12087: Commit 995c25c pushed by mathlib-bors bot
November 20, 2024 08:15 9m 16s staging
staging
November 20, 2024 08:15 9m 16s
feat: maintainer merge?/maintainer delegate? switch for spoiler (… continuous integration (staging) #12086: Commit 0e836d6 pushed by mathlib-bors bot
November 20, 2024 06:53 8m 44s staging
staging
November 20, 2024 06:53 8m 44s
feat: Nat.cast_nonpos (#19247) continuous integration (staging) #12085: Commit 416fec6 pushed by mathlib-bors bot
November 20, 2024 03:00 37m 22s staging
staging
November 20, 2024 03:00 37m 22s
feat: commutativity of NonUnital{Star}Algebra.adjoin (#18612) continuous integration (staging) #12084: Commit 25b91b6 pushed by mathlib-bors bot
November 20, 2024 00:01 20m 9s staging
staging
November 20, 2024 00:01 20m 9s
chore: reducibility in gcongr apply step (#19262) continuous integration (staging) #12083: Commit e90c231 pushed by mathlib-bors bot
November 19, 2024 22:39 6m 52s staging
staging
November 19, 2024 22:39 6m 52s
feat: #parse -- a command to parse text and log outputs (#16305) continuous integration (staging) #12082: Commit c3a2d7b pushed by mathlib-bors bot
November 19, 2024 22:30 8m 43s staging
staging
November 19, 2024 22:30 8m 43s
feat(SetTheory/ZFC/Ordinal): Initial development of ordinals in ZFSet… continuous integration (staging) #12081: Commit 4e69bf9 pushed by mathlib-bors bot
November 19, 2024 22:02 8m 47s staging
staging
November 19, 2024 22:02 8m 47s
chore: generalise div_le_div to groups with zero (#18917) continuous integration (staging) #12080: Commit 29f545b pushed by mathlib-bors bot
November 19, 2024 19:36 34m 31s staging
staging
November 19, 2024 19:36 34m 31s
chore: make Finset.subset_union_left simp (#19249) continuous integration (staging) #12079: Commit 22fb3a4 pushed by mathlib-bors bot
November 19, 2024 17:43 44m 9s staging
staging
November 19, 2024 17:43 44m 9s