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

feat(ContinuousFunctionalCalculus): add several lemmas involving the … continuous integration (staging) #8907: Commit c52fabc pushed by mathlib-bors bot
July 3, 2024 23:30 12m 32s staging
staging
July 3, 2024 23:30 12m 32s
chore: remove ported tactic from Mathport syntax (#14385) continuous integration (staging) #8906: Commit 343699a pushed by mathlib-bors bot
July 3, 2024 22:34 10m 15s staging
staging
July 3, 2024 22:34 10m 15s
chore: fix docstring (#14392) continuous integration (staging) #8905: Commit e6737c3 pushed by mathlib-bors bot
July 3, 2024 22:25 9m 34s staging
staging
July 3, 2024 22:25 9m 34s
chore: remove some whitespace and two other things (#14384) continuous integration (staging) #8904: Commit ce981a6 pushed by mathlib-bors bot
July 3, 2024 14:53 56m 22s staging
staging
July 3, 2024 14:53 56m 22s
feat(Order/WithBot): add forall_iff_eq_bot and `forall_iff_eq_top … continuous integration (staging) #8903: Commit b35dfa6 pushed by mathlib-bors bot
July 3, 2024 13:56 56m 55s staging
staging
July 3, 2024 13:56 56m 55s
chore: note in Mathlib/Init/* about intention to move content and del… continuous integration (staging) #8902: Commit ea932ed pushed by mathlib-bors bot
July 3, 2024 12:53 1h 3m 9s staging
staging
July 3, 2024 12:53 1h 3m 9s
chore: move iterate_prod_map to Data.Prod.Basic (#14367) continuous integration (staging) #8901: Commit c4d0126 pushed by mathlib-bors bot
July 3, 2024 11:27 52m 54s staging
staging
July 3, 2024 11:27 52m 54s
feat: the Dialectica category (#14274) continuous integration (staging) #8900: Commit 5d74b27 pushed by mathlib-bors bot
July 3, 2024 10:14 9m 41s staging
staging
July 3, 2024 10:14 9m 41s
feat(Topology/Inseparable): Define specializing maps between topolo… continuous integration (staging) #8899: Commit a25f1f9 pushed by mathlib-bors bot
July 3, 2024 09:27 47m 8s staging
staging
July 3, 2024 09:27 47m 8s
chore(Data/Nat): refactor import of Nat/Prime by Nat/Factors (#14… continuous integration (staging) #8898: Commit fcfd70e pushed by mathlib-bors bot
July 3, 2024 08:52 35m 48s staging
staging
July 3, 2024 08:52 35m 48s
feat(AlgebraicGeometry): residue field of a point and evaluation (#14… continuous integration (staging) #8897: Commit 17a95d6 pushed by mathlib-bors bot
July 3, 2024 06:10 27m 12s staging
staging
July 3, 2024 06:10 27m 12s
feat(AlgebraicGeometry): zero locus of sections and characterisation … continuous integration (staging) #8896: Commit a708114 pushed by mathlib-bors bot
July 3, 2024 05:48 22m 17s staging
staging
July 3, 2024 05:48 22m 17s
feat: more import diff options (#14363) continuous integration (staging) #8895: Commit ffca4d8 pushed by mathlib-bors bot
July 3, 2024 04:18 9m 13s staging
staging
July 3, 2024 04:18 9m 13s
chore(GroupTheory/MonoidLocalization): Change Localization to an ab… continuous integration (staging) #8894: Commit e534406 pushed by mathlib-bors bot
July 3, 2024 02:57 30m 4s staging
staging
July 3, 2024 02:57 30m 4s
chore(Combinatorics): remove remaining use of autoImplicit (#14356) continuous integration (staging) #8893: Commit 11cb43e pushed by mathlib-bors bot
July 3, 2024 02:41 9m 25s staging
staging
July 3, 2024 02:41 9m 25s
chore (Data.Nat.Cast.Order): split into Basic and Ring (#14371) continuous integration (staging) #8892: Commit e66c5a9 pushed by mathlib-bors bot
July 3, 2024 02:04 36m 38s staging
staging
July 3, 2024 02:04 36m 38s
chore: update Mathlib dependencies 2024-07-01 (#14320) continuous integration (staging) #8891: Commit 83e2503 pushed by mathlib-bors bot
July 3, 2024 01:30 9m 33s staging
staging
July 3, 2024 01:30 9m 33s
chore(CategoryTheory/Limits/Shapes/Pullbacks): split into multiple fi… continuous integration (staging) #8890: Commit 475fdf4 pushed by mathlib-bors bot
July 3, 2024 01:14 16m 34s staging
staging
July 3, 2024 01:14 16m 34s
refactor(LinearAlgebra,RingTheory): Replace Fintype.card with `Nat.… continuous integration (staging) #8889: Commit 4180b90 pushed by mathlib-bors bot
July 2, 2024 22:51 36m 13s staging
staging
July 2, 2024 22:51 36m 13s
feat(CategoryTheory): Split equalizers (#14170) continuous integration (staging) #8888: Commit 7733e60 pushed by mathlib-bors bot
July 2, 2024 19:19 9m 26s staging
staging
July 2, 2024 19:19 9m 26s
refactor: enforce the predicate on the ContinuousFunctionalCalculus… continuous integration (staging) #8887: Commit 3a4610b pushed by mathlib-bors bot
July 2, 2024 19:10 9m 17s staging
staging
July 2, 2024 19:10 9m 17s
chore: rm scripts/check_silent.sh (#14347) continuous integration (staging) #8886: Commit 5db5b49 pushed by mathlib-bors bot
July 2, 2024 17:55 25m 13s staging
staging
July 2, 2024 17:55 25m 13s
chore: delete obsolete porting scripts (#14346) continuous integration (staging) #8885: Commit d490030 pushed by mathlib-bors bot
July 2, 2024 17:45 9m 24s staging
staging
July 2, 2024 17:45 9m 24s
refactor(Topology/Category): add CompHausLike.Limits (#13905) continuous integration (staging) #8884: Commit d180e67 pushed by mathlib-bors bot
July 2, 2024 14:31 10m 36s staging
staging
July 2, 2024 14:31 10m 36s
feat: add pointwise actions on ideals (#13294) continuous integration (staging) #8883: Commit 2f44fc3 pushed by mathlib-bors bot
July 2, 2024 14:16 9m 32s staging
staging
July 2, 2024 14:16 9m 32s