Skip to content

Actions: leanprover-community/mathlib4

continuous integration (staging)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
7,802 workflow runs
7,802 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Homeomorphisms and IsometryEquivs based on Equiv.piCongrLeft
continuous integration (staging) #11483: Commit 8d52999 pushed by mathlib-bors bot
October 29, 2024 16:22 33m 12s staging
October 29, 2024 16:22 33m 12s
feat(Util/CountHeartbeats): Add guard_min_heartbeats command (#18392)
continuous integration (staging) #11482: Commit a390351 pushed by mathlib-bors bot
October 29, 2024 15:44 37m 46s staging
October 29, 2024 15:44 37m 46s
chore(RingTheory/Congruence): split off Defs.lean (#18387)
continuous integration (staging) #11481: Commit f4f0b47 pushed by mathlib-bors bot
October 29, 2024 15:17 27m 23s staging
October 29, 2024 15:17 27m 23s
chore: cleanup a few porting notes (#18380)
continuous integration (staging) #11480: Commit cf70dec pushed by mathlib-bors bot
October 29, 2024 14:36 41m 17s staging
October 29, 2024 14:36 41m 17s
chore: address porting note about type-ascribing Quotient.mk (#18376)
continuous integration (staging) #11479: Commit dcfa0cf pushed by mathlib-bors bot
October 29, 2024 14:12 23m 57s staging
October 29, 2024 14:12 23m 57s
chore(GroupTheory/QuotientGroup): split off Defs file (#18348)
continuous integration (staging) #11478: Commit 8a2a571 pushed by mathlib-bors bot
October 29, 2024 13:45 26m 45s staging
October 29, 2024 13:45 26m 45s
feat(CategoryTheory/Limits): the end of a functor (#18082)
continuous integration (staging) #11477: Commit 43e571a pushed by mathlib-bors bot
October 29, 2024 13:38 7m 25s staging
October 29, 2024 13:38 7m 25s
feat(Logic/Embedding/Basic): setValue_eq_of_ne (#18366)
continuous integration (staging) #11476: Commit 7536ff4 pushed by mathlib-bors bot
October 29, 2024 13:01 36m 18s staging
October 29, 2024 13:01 36m 18s
chore(GroupTheory/Coset): split off Defs file (#18347)
continuous integration (staging) #11475: Commit dfbe436 pushed by mathlib-bors bot
October 29, 2024 12:36 25m 36s staging
October 29, 2024 12:36 25m 36s
feat(RingTheory/LinearDisjoint): properties of linearly disjoint of s…
continuous integration (staging) #11474: Commit d026da8 pushed by mathlib-bors bot
October 29, 2024 12:18 8m 10s staging
October 29, 2024 12:18 8m 10s
chore: update Mathlib dependencies 2024-10-29 (#18381)
continuous integration (staging) #11473: Commit 3952ddd pushed by mathlib-bors bot
October 29, 2024 11:47 31m 1s staging
October 29, 2024 11:47 31m 1s
feat: add eq_zero_or_norm_pos for NormedAddGroups (#18352)
continuous integration (staging) #11472: Commit 5a70f47 pushed by mathlib-bors bot
October 29, 2024 11:14 18m 39s staging
October 29, 2024 11:14 18m 39s
refactor: avoid passing both directions of a lemma to simp (#18373)
continuous integration (staging) #11471: Commit c9027b3 pushed by mathlib-bors bot
October 29, 2024 10:42 31m 39s staging
October 29, 2024 10:42 31m 39s
feat: trivial nontrivialities for free (constructions) (#18363)
continuous integration (staging) #11470: Commit 6c2c697 pushed by mathlib-bors bot
October 29, 2024 10:07 35m 18s staging
October 29, 2024 10:07 35m 18s
chore(CategoryTheory): define the equivalences congrLeft and `congr…
continuous integration (staging) #11469: Commit d27f228 pushed by mathlib-bors bot
October 29, 2024 08:47 18m 47s staging
October 29, 2024 08:47 18m 47s
feat(Tactic): add finiteness tactic (#18034)
continuous integration (staging) #11468: Commit fe4820c pushed by mathlib-bors bot
October 29, 2024 07:44 37m 5s staging
October 29, 2024 07:44 37m 5s
chore: split Topology.Instances.Real (#18370)
continuous integration (staging) #11467: Commit 7bf2901 pushed by mathlib-bors bot
October 29, 2024 06:30 18m 56s staging
October 29, 2024 06:30 18m 56s
chore: add try (#18344)
continuous integration (staging) #11466: Commit 5a79791 pushed by mathlib-bors bot
October 29, 2024 04:27 7m 30s staging
October 29, 2024 04:27 7m 30s
feat: lemma concerning for ‖cfc f a‖ < c (#18361)
continuous integration (staging) #11465: Commit 3e82c09 pushed by mathlib-bors bot
October 29, 2024 02:02 7m 39s staging
October 29, 2024 02:02 7m 39s
chore: remove a few unused variables (#18362)
continuous integration (staging) #11464: Commit 06988e9 pushed by mathlib-bors bot
October 29, 2024 01:28 11m 20s staging
October 29, 2024 01:28 11m 20s
fix(LongestPole): windows paths compatibility (#18341)
continuous integration (staging) #11463: Commit ef637a3 pushed by mathlib-bors bot
October 29, 2024 00:42 7m 10s staging
October 29, 2024 00:42 7m 10s
feat: cfc_tsub for ℝ≥0 functions (#18360)
continuous integration (staging) #11462: Commit a3fa624 pushed by mathlib-bors bot
October 29, 2024 00:06 8m 0s staging
October 29, 2024 00:06 8m 0s
refactor(RingTheory/Ideal/Pointwise): Generalize to semirings (#18355)
continuous integration (staging) #11461: Commit d57b21a pushed by mathlib-bors bot
October 28, 2024 23:09 11m 12s staging
October 28, 2024 23:09 11m 12s
feat(CategoryTheory) : (Co)structured arrow as a functor to Cat (#18298)
continuous integration (staging) #11460: Commit 1d847d8 pushed by mathlib-bors bot
October 28, 2024 20:59 7m 5s staging
October 28, 2024 20:59 7m 5s
feat(RingTheory/IsLasker): strength primary decomposition to a minima…
continuous integration (staging) #11459: Commit d131995 pushed by mathlib-bors bot
October 28, 2024 20:27 31m 58s staging
October 28, 2024 20:27 31m 58s