Skip to content

Actions: leanprover-community/mathlib4

Actions

Post PR summary comment

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
PR_summary.yml
26,861 workflow runs
26,861 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(Algebra/Module): presentation of the cokernel of a linear map Post PR summary comment #26904: Pull request #18332 synchronize by joelriou
October 28, 2024 13:21 In progress unbundled-module-presentation-cokernel
unbundled-module-presentation-cokernel
October 28, 2024 13:21 In progress
chore: import the header linter in all files imported in Mathlib.Init Post PR summary comment #26903: Pull request #18275 synchronize by grunweg
October 28, 2024 13:21 In progress MR-import-header-linter
MR-import-header-linter
October 28, 2024 13:21 In progress
feat(NumberTheory/Padics): Mahler basis functions Post PR summary comment #26902: Pull request #18335 opened by loefflerd
October 28, 2024 13:20 56s DL_mahler_basis_def
DL_mahler_basis_def
October 28, 2024 13:20 56s
chore: remove almost all import Lean Post PR summary comment #26901: Pull request #18276 synchronize by grunweg
October 28, 2024 13:15 52s MR-coherence-import
MR-coherence-import
October 28, 2024 13:15 52s
feat(NumberField/CanonicalEmbedding): define the negAt map Post PR summary comment #26900: Pull request #18234 synchronize by xroblot
October 28, 2024 13:14 46s xfr_canonemb_negAt
xfr_canonemb_negAt
October 28, 2024 13:14 46s
chore: delay importing ultrafilters Post PR summary comment #26899: Pull request #18328 synchronize by PatrickMassot
October 28, 2024 13:09 54s delay_ultrafilter
delay_ultrafilter
October 28, 2024 13:09 54s
feat: check that every file imports Mathlib.Init Post PR summary comment #26898: Pull request #18281 synchronize by grunweg
October 28, 2024 13:08 1m 8s MR-mathlib-init-check
MR-mathlib-init-check
October 28, 2024 13:08 1m 8s
doc: fix typo in perfect numbers module docstring Post PR summary comment #26897: Pull request #18334 opened by jcommelin
October 28, 2024 12:57 47s jmc-perfect-typo
jmc-perfect-typo
October 28, 2024 12:57 47s
feat: check that every file imports Mathlib.Init Post PR summary comment #26896: Pull request #18281 synchronize by grunweg
October 28, 2024 12:54 54s MR-mathlib-init-check
MR-mathlib-init-check
October 28, 2024 12:54 54s
chore: adaptations for nightly-2024-10-28 Post PR summary comment #26895: Pull request #18333 opened by jcommelin
October 28, 2024 12:43 56s bump/nightly-2024-10-28
bump/nightly-2024-10-28
October 28, 2024 12:43 56s
feat(NumberTheory/LSeries/QuadraticNonvanishing): new file Post PR summary comment #26894: Pull request #18302 synchronize by MichaelStollBayreuth
October 28, 2024 12:30 49s MS_quadratic_nonvanishing
MS_quadratic_nonvanishing
October 28, 2024 12:30 49s
feat(Algebra/Module): presentation of the cokernel of a linear map Post PR summary comment #26893: Pull request #18332 opened by joelriou
October 28, 2024 12:19 1m 0s unbundled-module-presentation-cokernel
unbundled-module-presentation-cokernel
October 28, 2024 12:19 1m 0s
feat(RingTheory/LinearDisjoint): properties of linearly disjoint of subalgebras (2) Post PR summary comment #26892: Pull request #15346 synchronize by acmepjz
October 28, 2024 12:04 47s acmepjz_lin_disj_subalg
acmepjz_lin_disj_subalg
October 28, 2024 12:04 47s
feat: add deprecation script Post PR summary comment #26891: Pull request #18150 synchronize by adomani
October 28, 2024 11:48 54s adomani/deprecations_script
adomani/deprecations_script
October 28, 2024 11:48 54s
feat(FieldTheory/AlgebraicClosure): minpoly x F splits in E implies minpoly x F splits in algebraicClosure F E Post PR summary comment #26890: Pull request #18331 opened by jjdishere
October 28, 2024 11:32 46s jiedong_jiang_minpoly_splits_algebraicClosure
jiedong_jiang_minpoly_splits_algebraicClosure
October 28, 2024 11:32 46s
chore: Rename Inducing to IsInducing Post PR summary comment #26889: Pull request #18330 synchronize by YaelDillies
October 28, 2024 11:29 49s rename_inducing
rename_inducing
October 28, 2024 11:29 49s
chore: Rename Inducing to IsInducing Post PR summary comment #26888: Pull request #18330 opened by YaelDillies
October 28, 2024 11:29 52s rename_inducing
rename_inducing
October 28, 2024 11:29 52s
chore(Topology): Namespace Inducing, Embedding... Post PR summary comment #26887: Pull request #15993 synchronize by YaelDillies
October 28, 2024 11:25 48s topology_inducing
topology_inducing
October 28, 2024 11:25 48s
feat(Analysis/Normed/Field): define Normed instance for SubfieldClass Post PR summary comment #26886: Pull request #18329 opened by jjdishere
October 28, 2024 11:15 46s jiedong_jiang_normed_subfield
jiedong_jiang_normed_subfield
October 28, 2024 11:15 46s
[Merged by Bors] - chore: cleanup skipAssignedInstances flags Post PR summary comment #26885: Pull request #18320 synchronize by kim-em
October 28, 2024 11:15 49s skipassigned
skipassigned
October 28, 2024 11:15 49s
chore: delay importing ultrafilters Post PR summary comment #26884: Pull request #18328 opened by kim-em
October 28, 2024 11:08 47s delay_ultrafilter
delay_ultrafilter
October 28, 2024 11:08 47s
refactor: generalize Mul of Submodule and SMul of Ideal on Submodule to noncommutative setting Post PR summary comment #26883: Pull request #17708 synchronize by alreadydone
October 28, 2024 11:00 53s Ideal.mul
Ideal.mul
October 28, 2024 11:00 53s
refactor: generalize Mul of Submodule and SMul of Ideal on Submodule to noncommutative setting Post PR summary comment #26882: Pull request #17708 synchronize by alreadydone
October 28, 2024 10:51 48s Ideal.mul
Ideal.mul
October 28, 2024 10:51 48s
feat: Lindemann-Weierstrass Theorem Post PR summary comment #26881: Pull request #6718 synchronize by FR-vdash-bot
October 28, 2024 10:47 54s transcendental
transcendental
October 28, 2024 10:47 54s
feat(Algebra/Module): characterizations of free modules in terms of their presentations Post PR summary comment #26880: Pull request #18327 opened by joelriou
October 28, 2024 10:46 52s unbundled-module-presentation-more-api
unbundled-module-presentation-more-api
October 28, 2024 10:46 52s