Skip to content

Actions: leanprover-community/mathlib4

Actions

continuous integration (staging)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bors.yml
5,169 workflow run results
5,169 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(Algebra/Homology/ExactSequence): typo (#13958) continuous integration (staging) #8657: Commit b142583 pushed by mathlib-bors bot
June 20, 2024 10:40 33m 48s staging
staging
June 20, 2024 10:40 33m 48s
chore: remove unnecessary nolint simpNFs (#13982) continuous integration (staging) #8656: Commit c6b786e pushed by mathlib-bors bot
June 20, 2024 09:54 45m 16s staging
staging
June 20, 2024 09:54 45m 16s
feat(GroupTheory/GroupAction/Basic): orbit lemmas for product (#13580) continuous integration (staging) #8655: Commit e470560 pushed by mathlib-bors bot
June 20, 2024 09:12 42m 32s staging
staging
June 20, 2024 09:12 42m 32s
chore: split RingTheory/Kaehler (#13978) continuous integration (staging) #8654: Commit 7c80fcc pushed by mathlib-bors bot
June 20, 2024 07:22 11m 46s staging
staging
June 20, 2024 07:22 11m 46s
chore: adaptations for nightly-2024-06-19 (#13981) continuous integration (staging) #8653: Commit 166d0bf pushed by mathlib-bors bot
June 20, 2024 06:49 9m 2s staging
staging
June 20, 2024 06:49 9m 2s
chore: adaptations for nightly-2024-06-17 (#13919) continuous integration (staging) #8652: Commit 972582f pushed by mathlib-bors bot
June 20, 2024 05:49 55m 42s staging
staging
June 20, 2024 05:49 55m 42s
chore: adaptations for nightly-2024-06-17 (#13919) continuous integration (staging) #8651: Commit d320a16 pushed by mathlib-bors bot
June 20, 2024 05:40 9m 3s staging
staging
June 20, 2024 05:40 9m 3s
feat(Order/Maximal): maximality/minimality with insertion/removal for… continuous integration (staging) #8650: Commit 6e82bc0 pushed by mathlib-bors bot
June 20, 2024 03:32 51m 17s staging
staging
June 20, 2024 03:32 51m 17s
chore(CategoryTheory/Monoidal/Comon_): cleanup (#13316) continuous integration (staging) #8649: Commit 9ddf87e pushed by mathlib-bors bot
June 20, 2024 03:21 11m 46s staging
staging
June 20, 2024 03:21 11m 46s
chore: Rename to Grp (#3731) continuous integration (staging) #8648: Commit 2e6f6df pushed by mathlib-bors bot
June 20, 2024 02:11 10m 30s staging
staging
June 20, 2024 02:11 10m 30s
chore: remove 'new lemma' comments (#13820) continuous integration (staging) #8647: Commit 4bf28bb pushed by mathlib-bors bot
June 19, 2024 20:15 59m 12s staging
staging
June 19, 2024 20:15 59m 12s
chore(CategoryTheory/Adjunction): dualize some of the API for reflect… continuous integration (staging) #8646: Commit feba708 pushed by mathlib-bors bot
June 19, 2024 18:17 19m 22s staging
staging
June 19, 2024 18:17 19m 22s
chore(AlgebraicGeometry/OpenImmersion): Move open covers to its own f… continuous integration (staging) #8645: Commit 1e77bed pushed by mathlib-bors bot
June 19, 2024 15:39 14m 6s staging
staging
June 19, 2024 15:39 14m 6s
feat(AlgebraicGeometry/ProjectiveSpectrum/Scheme): add the instance `… continuous integration (staging) #8644: Commit 38f6b3f pushed by mathlib-bors bot
June 19, 2024 15:28 10m 25s staging
staging
June 19, 2024 15:28 10m 25s
chore: remove @[simp] from List.join (#13888) continuous integration (staging) #8643: Commit 9f09963 pushed by mathlib-bors bot
June 19, 2024 14:17 49m 51s staging
staging
June 19, 2024 14:17 49m 51s
feat: f⁻¹ is continuous iff f is (#13951) continuous integration (staging) #8642: Commit 63b99ca pushed by mathlib-bors bot
June 19, 2024 13:47 29m 36s staging
staging
June 19, 2024 13:47 29m 36s
chore: replace continuity by fun_prop, easy cases (#13880) continuous integration (staging) #8641: Commit c59e595 pushed by mathlib-bors bot
June 19, 2024 12:59 34m 31s staging
staging
June 19, 2024 12:59 34m 31s
chore: reduce use of mono in favour of gcongr (#13881) continuous integration (staging) #8640: Commit 435827a pushed by mathlib-bors bot
June 19, 2024 11:58 35m 28s staging
staging
June 19, 2024 11:58 35m 28s
feat: add a few analytic function lemmas for future AnalyticManifold … continuous integration (staging) #8639: Commit b6c1b89 pushed by mathlib-bors bot
June 19, 2024 11:32 25m 16s staging
staging
June 19, 2024 11:32 25m 16s
fix: correct InfoTree on the set tactic (#13913) continuous integration (staging) #8638: Commit 94b26e8 pushed by mathlib-bors bot
June 19, 2024 10:33 59m 2s staging
staging
June 19, 2024 10:33 59m 2s
chore: Split large file MeasureTheory.MeasurableSpace.Basic (#13937) continuous integration (staging) #8637: Commit 572940c pushed by mathlib-bors bot
June 19, 2024 09:36 57m 0s staging
staging
June 19, 2024 09:36 57m 0s
feat: rewrite set_option style linter in lean (#12928) continuous integration (staging) #8636: Commit 60fd11f pushed by mathlib-bors bot
June 19, 2024 08:39 56m 28s staging
staging
June 19, 2024 08:39 56m 28s
chore(RingTheory/WittVector/Basic): remove porting notes (#13927) continuous integration (staging) #8635: Commit b84002d pushed by mathlib-bors bot
June 18, 2024 19:48 10m 54s staging
staging
June 18, 2024 19:48 10m 54s
feat: generalize Set.inv_mem_center (#13921) continuous integration (staging) #8634: Commit 6f05744 pushed by mathlib-bors bot
June 18, 2024 17:35 46m 27s staging
staging
June 18, 2024 17:35 46m 27s
chore: reduce use of mono in favour of gcongr (#13881) continuous integration (staging) #8633: Commit 6304edc pushed by mathlib-bors bot
June 18, 2024 15:05 33m 52s staging
staging
June 18, 2024 15:05 33m 52s
ProTip! You can narrow down the results and go further in time using created:<2024-06-18 or the other filters available.