Skip to content

Actions: gasparattila/mathlib4

Actions

Run pre-commit and in-place update PR on push

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
729 workflow runs
729 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Update Monoid.lean Run pre-commit and in-place update PR on push #729: Commit f483e90 pushed by gasparattila
30s NSMul-defeq-doc
NSMul-defeq-doc
30s
Fix Run pre-commit and in-place update PR on push #728: Commit f2b9238 pushed by gasparattila
25s deprecate-ofPairwiseDisjoint
deprecate-ofPairwiseDisjoint
25s
Fix Run pre-commit and in-place update PR on push #727: Commit fa87d48 pushed by gasparattila
26s deprecate-ofPairwiseDisjoint
deprecate-ofPairwiseDisjoint
26s
Merge branch 'master' into deprecate-ofPairwiseDisjoint Run pre-commit and in-place update PR on push #726: Commit e4a6897 pushed by gasparattila
30s deprecate-ofPairwiseDisjoint
deprecate-ofPairwiseDisjoint
30s
Update Finpartition.lean Run pre-commit and in-place update PR on push #725: Commit 4b97bd4 pushed by gasparattila
35s deprecate-ofPairwiseDisjoint
deprecate-ofPairwiseDisjoint
35s
feat(Order/Partition): converting a Finpartition into a Partition Run pre-commit and in-place update PR on push #724: Commit 0801481 pushed by gasparattila
33s Finpartition.toPartition
Finpartition.toPartition
33s
refactor(Data/FunLike): make the arguments of Is*Apply implicit Run pre-commit and in-place update PR on push #723: Commit 35b76f3 pushed by gasparattila
36s IsApply-implicit
IsApply-implicit
36s
Workaround for CI error Run pre-commit and in-place update PR on push #722: Commit c6cf46d pushed by gasparattila
29s idempotent-struct
idempotent-struct
29s
feat(Topology/Algebra): define a topology on Homogenization Run pre-commit and in-place update PR on push #721: Commit e395367 pushed by gasparattila
36s homogenization-topology
homogenization-topology
36s
refactor: replace SemilatticeSup.sup with max Run pre-commit and in-place update PR on push #720: Commit 26331d6 pushed by gasparattila
30s SemilatticeSup-max
SemilatticeSup-max
30s
refactor(Algebra/Order/Ring/Idempotent): introduce bundled types Run pre-commit and in-place update PR on push #719: Commit 6084098 pushed by gasparattila
26s idempotent-struct
idempotent-struct
26s
postfix toContinuousAffineMap Run pre-commit and in-place update PR on push #718: Commit ec770f4 pushed by gasparattila
26s CAM-comp-continuous
CAM-comp-continuous
26s
fixes Run pre-commit and in-place update PR on push #717: Commit ad15159 pushed by gasparattila
27s fun_prop-reducible-fix
fun_prop-reducible-fix
27s
fixes Run pre-commit and in-place update PR on push #716: Commit ad15159 pushed by gasparattila
28s fun_prop-reducible-fix
fun_prop-reducible-fix
28s
fixes Run pre-commit and in-place update PR on push #715: Commit c04f066 pushed by gasparattila
31s fun_prop-reducible-fix
fun_prop-reducible-fix
31s
refactor(Algebra/Order/Ring/Idempotent): introduce bundled types Run pre-commit and in-place update PR on push #714: Commit 5fe976c pushed by gasparattila
28s idempotent-struct
idempotent-struct
28s
refactor(Algebra/Order/Ring/Idempotent): introduce bundled types Run pre-commit and in-place update PR on push #713: Commit 26f8804 pushed by gasparattila
26s idempotent-struct
idempotent-struct
26s
refactor: replace SemilatticeSup.sup with max Run pre-commit and in-place update PR on push #712: Commit 37765bf pushed by gasparattila
26s SemilatticeSup-max
SemilatticeSup-max
26s
refactor(Algebra/Order/Ring/Idempotent): introduce bundled types Run pre-commit and in-place update PR on push #711: Commit 453a278 pushed by gasparattila
25s idempotent-struct
idempotent-struct
25s
refactor(Algebra/Order/Ring/Idempotent): introduce bundled types Run pre-commit and in-place update PR on push #710: Commit 33a5f48 pushed by gasparattila
31s idempotent-struct
idempotent-struct
31s
Merge branch 'CAM-comp-continuous' of https://github.com/gasparattila… Run pre-commit and in-place update PR on push #709: Commit ad2c3c3 pushed by gasparattila
36s CAM-comp-continuous
CAM-comp-continuous
36s
Update Mathlib/Topology/Algebra/ContinuousAffineMap/Topology.lean Run pre-commit and in-place update PR on push #708: Commit 771a0b0 pushed by gasparattila
24s CAM-comp-continuous
CAM-comp-continuous
24s
refactor: replace SemilatticeSup.sup with max Run pre-commit and in-place update PR on push #707: Commit eed80b4 pushed by gasparattila
28s SemilatticeSup-max
SemilatticeSup-max
28s
refactor(Data/FunLike): make the arguments of Is*Apply implicit Run pre-commit and in-place update PR on push #706: Commit 8ef53e5 pushed by gasparattila
29s IsApply-implicit
IsApply-implicit
29s
refactor(Data/FunLike): make the arguments of Is*Apply implicit Run pre-commit and in-place update PR on push #705: Commit 35b9ca9 pushed by gasparattila
24s IsApply-implicit
IsApply-implicit
24s