Skip to content

Actions: leanprover-community/mathlib4

Actions

Check workflows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
actionlint.yml
2,049 workflow runs
2,049 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Merged by Bors] - chore: bump toolchain to v4.29.0-rc7 Check workflows #4672: Pull request #37034 opened by kim-em
25s bump_toolchain_v4.29.0-rc7
bump_toolchain_v4.29.0-rc7
25s
feat(MeasureTheory): Introduce MassFunction α giving rise to a Measure α ⊤ Check workflows #4671: Pull request #34138 synchronize by pfaffelh
18s pfaffelh:pfaffelh_MF0
pfaffelh:pfaffelh_MF0
18s
feat(MeasureTheory): Introduce MassFunction α giving rise to a Measure α ⊤ Check workflows #4670: Pull request #34138 synchronize by pfaffelh
21s pfaffelh:pfaffelh_MF0
pfaffelh:pfaffelh_MF0
21s
feat(MeasureTheory): Introduce MassFunction α giving rise to a Measure α ⊤ Check workflows #4669: Pull request #34138 synchronize by pfaffelh
17s pfaffelh:pfaffelh_MF0
pfaffelh:pfaffelh_MF0
17s
feat(RingTheory): Gorenstein local ring is Cohen--Macaulay local ring of type one Check workflows #4668: Pull request #33380 synchronize by Thmoas-Guan
18s Thmoas-Guan:Gorenstein-Local-Ring-is-CM-of-type-one
Thmoas-Guan:Gorenstein-Local-Ring-is-CM-of-type-one
18s
feat(RingTheory): Gorenstein of exists a vanishing ext Check workflows #4667: Pull request #36527 synchronize by Thmoas-Guan
16s Thmoas-Guan:Gorenstein-Local-Ring-of-exists-vanishing-Ext
Thmoas-Guan:Gorenstein-Local-Ring-of-exists-vanishing-Ext
16s
feat(RingTheory): Gorenstein local ring is Cohen Macaulay Check workflows #4666: Pull request #33379 synchronize by Thmoas-Guan
21s Thmoas-Guan:Gorenstein-Local-Ring-is-CM
Thmoas-Guan:Gorenstein-Local-Ring-is-CM
21s
feat(Algebra/RingTheory): Hilbert's Syzygy theorem (projective version) Check workflows #4665: Pull request #29703 synchronize by Thmoas-Guan
22s Thmoas-Guan:Hilbert's-Syzygy-Theorem-(Projective)
Thmoas-Guan:Hilbert's-Syzygy-Theorem-(Projective)
22s
feat(Algebra/RingTheory): Auslander–Buchsbaum–Serre criterion and its corollaries Check workflows #4664: Pull request #29802 synchronize by Thmoas-Guan
17s Thmoas-Guan:Localization-of-Regular-(Local)-Ring
Thmoas-Guan:Localization-of-Regular-(Local)-Ring
17s
feat(RingTheory): regular of finite global dimension Check workflows #4663: Pull request #29796 synchronize by Thmoas-Guan
18s Thmoas-Guan:Auslander-Buchsbaum-Serre-Aux
Thmoas-Guan:Auslander-Buchsbaum-Serre-Aux
18s
feat(Algebra/RingTheory): global dimension of regular ring Check workflows #4662: Pull request #29699 synchronize by Thmoas-Guan
19s Thmoas-Guan:Global-Dimension-of-Regular-Ring
Thmoas-Guan:Global-Dimension-of-Regular-Ring
19s
feat(Algebra): global dimension of regular local ring Check workflows #4661: Pull request #29534 synchronize by Thmoas-Guan
22s Thmoas-Guan:Global-Dimension-of-Regular-Local-Ring
Thmoas-Guan:Global-Dimension-of-Regular-Local-Ring
22s
feat(Algebra/RingTheory): Hilbert's Syzygy theorem (projective version) Check workflows #4660: Pull request #29703 synchronize by Thmoas-Guan
18s Thmoas-Guan:Hilbert's-Syzygy-Theorem-(Projective)
Thmoas-Guan:Hilbert's-Syzygy-Theorem-(Projective)
18s
feat(Algebra/RingTheory): Auslander–Buchsbaum–Serre criterion and its corollaries Check workflows #4659: Pull request #29802 synchronize by Thmoas-Guan
22s Thmoas-Guan:Localization-of-Regular-(Local)-Ring
Thmoas-Guan:Localization-of-Regular-(Local)-Ring
22s
feat(RingTheory): regular of finite global dimension Check workflows #4658: Pull request #29796 synchronize by Thmoas-Guan
18s Thmoas-Guan:Auslander-Buchsbaum-Serre-Aux
Thmoas-Guan:Auslander-Buchsbaum-Serre-Aux
18s
feat(Algebra/RingTheory): global dimension of regular ring Check workflows #4657: Pull request #29699 synchronize by Thmoas-Guan
17s Thmoas-Guan:Global-Dimension-of-Regular-Ring
Thmoas-Guan:Global-Dimension-of-Regular-Ring
17s
feat(Algebra): global dimension of regular local ring Check workflows #4656: Pull request #29534 synchronize by Thmoas-Guan
21s Thmoas-Guan:Global-Dimension-of-Regular-Local-Ring
Thmoas-Guan:Global-Dimension-of-Regular-Local-Ring
21s
feat(Algebra): finite projective dimension of regular Check workflows #4655: Pull request #29557 synchronize by Thmoas-Guan
22s Thmoas-Guan:finite-projective-dimension-of-regular
Thmoas-Guan:finite-projective-dimension-of-regular
22s
feat(Algebra): maximal Cohen Macaulay module Check workflows #4654: Pull request #29533 synchronize by Thmoas-Guan
17s Thmoas-Guan:maximal-CM-module
Thmoas-Guan:maximal-CM-module
17s
feat(RingTheory): Definition of complete intersection local ring Check workflows #4653: Pull request #34913 synchronize by Thmoas-Guan
16s Thmoas-Guan:Complete-Intersection-Ring
Thmoas-Guan:Complete-Intersection-Ring
16s
feat(RingTheory): Definition of complete intersection local ring Check workflows #4652: Pull request #34913 synchronize by Thmoas-Guan
22s Thmoas-Guan:Complete-Intersection-Ring
Thmoas-Guan:Complete-Intersection-Ring
22s
feat(RingTheory): Gorenstein local ring is Cohen--Macaulay local ring of type one Check workflows #4651: Pull request #33380 synchronize by Thmoas-Guan
21s Thmoas-Guan:Gorenstein-Local-Ring-is-CM-of-type-one
Thmoas-Guan:Gorenstein-Local-Ring-is-CM-of-type-one
21s
feat(RingTheory): Gorenstein of exists a vanishing ext Check workflows #4650: Pull request #36527 synchronize by Thmoas-Guan
19s Thmoas-Guan:Gorenstein-Local-Ring-of-exists-vanishing-Ext
Thmoas-Guan:Gorenstein-Local-Ring-of-exists-vanishing-Ext
19s
feat(RingTheory): Gorenstein local ring is Cohen Macaulay Check workflows #4649: Pull request #33379 synchronize by Thmoas-Guan
17s Thmoas-Guan:Gorenstein-Local-Ring-is-CM
Thmoas-Guan:Gorenstein-Local-Ring-is-CM
17s
feat(Algebra/RingTheory): Auslander–Buchsbaum–Serre criterion and its corollaries Check workflows #4648: Pull request #29802 synchronize by Thmoas-Guan
23s Thmoas-Guan:Localization-of-Regular-(Local)-Ring
Thmoas-Guan:Localization-of-Regular-(Local)-Ring
23s