Skip to content

Actions: leanprover-community/mathlib4

Actions

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

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pre-commit.yml
7,108 workflow runs
7,108 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: remove redundant fields from instances Run pre-commit and in-place update PR on push #7058: Pull request #30734 synchronize by JovanGerb
31s JovanGerb:Jovan-remove_instance_fields
JovanGerb:Jovan-remove_instance_fields
31s
[Merged by Bors] - feat: norm_num support for Int.fract Run pre-commit and in-place update PR on push #7057: Pull request #26428 synchronize by Ruben-VandeVelde
29s Ruben-VandeVelde:norm_num-int-fract
Ruben-VandeVelde:norm_num-int-fract
29s
feat: local frames in a vector bundle Run pre-commit and in-place update PR on push #7056: Pull request #30338 synchronize by grunweg
32s grunweg:localframes-1
grunweg:localframes-1
32s
style(misc): fix whitespace Run pre-commit and in-place update PR on push #7055: Pull request #30691 synchronize by grunweg
34s grunweg:whitespace8
grunweg:whitespace8
34s
style(misc): fix whitespace Run pre-commit and in-place update PR on push #7054: Pull request #30691 synchronize by grunweg
23s grunweg:whitespace8
grunweg:whitespace8
23s
style(misc): fix whitespace Run pre-commit and in-place update PR on push #7053: Pull request #30691 synchronize by grunweg
44s grunweg:whitespace8
grunweg:whitespace8
44s
style(misc): fix whitespace Run pre-commit and in-place update PR on push #7052: Pull request #30691 synchronize by grunweg
37s grunweg:whitespace8
grunweg:whitespace8
37s
chore: golf using field across mathlib Run pre-commit and in-place update PR on push #7051: Pull request #30653 synchronize by grunweg
37s grunweg:golf-using-field
grunweg:golf-using-field
37s
chore: rename field inf to min in Lattice Run pre-commit and in-place update PR on push #7050: Pull request #24614 synchronize by JovanGerb
26s Jovan-inf-min
Jovan-inf-min
26s
fixes Run pre-commit and in-place update PR on push #7049: Commit 9b40de3 pushed by JovanGerb
36s Jovan-inf-min
Jovan-inf-min
36s
chore: remove redundant fields from instances Run pre-commit and in-place update PR on push #7048: Pull request #30734 opened by JovanGerb
55s JovanGerb:Jovan-remove_instance_fields
JovanGerb:Jovan-remove_instance_fields
55s
feat: define CFC.abs, the absolute value in a C⋆-algebra Run pre-commit and in-place update PR on push #7047: Pull request #30314 synchronize by j-loreaux
24s j-loreaux:CFC.abs
j-loreaux:CFC.abs
24s
doc: attach "pre", "pseudo", "semi" and "sub" as a prefixes where they are now free-standing Run pre-commit and in-place update PR on push #7046: Pull request #29257 synchronize by harahu
33s harahu:doc/pre
harahu:doc/pre
33s
tracking: #30658 split into pieces Run pre-commit and in-place update PR on push #7045: Pull request #30686 synchronize by grunweg
25s grunweg:whitespace2
grunweg:whitespace2
25s
doc(Combinatorics): spell cliquefree as clique-free Run pre-commit and in-place update PR on push #7044: Pull request #30733 opened by harahu
35s harahu:doc/clique-free
harahu:doc/clique-free
35s
feat: $C^n$ implicit function theorem Run pre-commit and in-place update PR on push #7043: Pull request #30595 synchronize by winstonyin
27s winstonyin:implicit_function_Cn
winstonyin:implicit_function_Cn
27s
chore: rename field inf to min in Lattice Run pre-commit and in-place update PR on push #7042: Pull request #24614 synchronize by JovanGerb
32s Jovan-inf-min
Jovan-inf-min
32s
Merge branch 'master' into Jovan-inf-min Run pre-commit and in-place update PR on push #7041: Commit c886b6c pushed by JovanGerb
33s Jovan-inf-min
Jovan-inf-min
33s
tracking: #30658 split into pieces Run pre-commit and in-place update PR on push #7040: Pull request #30686 synchronize by grunweg
24s grunweg:whitespace2
grunweg:whitespace2
24s
tracking: #30658 split into pieces Run pre-commit and in-place update PR on push #7039: Pull request #30686 synchronize by grunweg
25s grunweg:whitespace2
grunweg:whitespace2
25s
chore: rebase and continuation of #26926 (more spacing fixes) Run pre-commit and in-place update PR on push #7038: Pull request #30658 synchronize by grunweg
37s grunweg:commandStart_more_uptodate
grunweg:commandStart_more_uptodate
37s
feat(push): @[push] attributes for ∈ in Set, Finset and Multiset Run pre-commit and in-place update PR on push #7037: Pull request #30042 synchronize by JovanGerb
33s JovanGerb:Jovan-push-mem
JovanGerb:Jovan-push-mem
33s
doc: fix recurring instances of "this files" Run pre-commit and in-place update PR on push #7036: Pull request #30719 synchronize by harahu
27s harahu:doc/this-files
harahu:doc/this-files
27s
feat: to_dual attribute Run pre-commit and in-place update PR on push #7035: Pull request #27887 synchronize by JovanGerb
27s JovanGerb:Jovan-to_dual
JovanGerb:Jovan-to_dual
27s
Experiment: change how multigoal linter handles focus. Run pre-commit and in-place update PR on push #7034: Pull request #30470 synchronize by ajirving
48s ajirving:multigoal_experiment
ajirving:multigoal_experiment
48s