Skip to content

Actions: themathqueen/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
1,886 workflow runs
1,886 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
fix Run pre-commit and in-place update PR on push #36: Commit 92710be pushed by themathqueen
21s posSemidef_vecMulVec
posSemidef_vecMulVec
21s
dotProduct instead Run pre-commit and in-place update PR on push #35: Commit 2289bfe pushed by themathqueen
27s posSemidef_vecMulVec
posSemidef_vecMulVec
27s
fix Run pre-commit and in-place update PR on push #34: Commit 6be2fe4 pushed by themathqueen
27s posSemidef_sum
posSemidef_sum
27s
fix Run pre-commit and in-place update PR on push #33: Commit ed0c665 pushed by themathqueen
26s posSemidef_sum
posSemidef_sum
26s
possemidef_sum Run pre-commit and in-place update PR on push #32: Commit 8101f69 pushed by themathqueen
28s posSemidef_sum
posSemidef_sum
28s
revert line Run pre-commit and in-place update PR on push #31: Commit 930e70e pushed by themathqueen
21s chore_generalize_one_le_prod
chore_generalize_one_le_prod
21s
reorder imports Run pre-commit and in-place update PR on push #30: Commit 66a5776 pushed by themathqueen
25s chore_generalize_one_le_prod
chore_generalize_one_le_prod
25s
remove import Run pre-commit and in-place update PR on push #29: Commit cd22c54 pushed by themathqueen
28s chore_generalize_one_le_prod
chore_generalize_one_le_prod
28s
Merge branch 'master' into chore_generalize_one_le_prod Run pre-commit and in-place update PR on push #28: Commit 9471b77 pushed by themathqueen
20s chore_generalize_one_le_prod
chore_generalize_one_le_prod
20s
few more and shake Run pre-commit and in-place update PR on push #27: Commit e0e2110 pushed by themathqueen
25s chore_generalize_one_le_prod
chore_generalize_one_le_prod
25s
shake Run pre-commit and in-place update PR on push #26: Commit cea9e77 pushed by themathqueen
30s chore_generalize_one_le_prod
chore_generalize_one_le_prod
30s
generalize a lot more Run pre-commit and in-place update PR on push #25: Commit cfd3878 pushed by themathqueen
26s chore_generalize_one_le_prod
chore_generalize_one_le_prod
26s
fix Run pre-commit and in-place update PR on push #24: Commit 7e5500e pushed by themathqueen
25s chore_generalize_one_le_prod
chore_generalize_one_le_prod
25s
reorder Run pre-commit and in-place update PR on push #23: Commit 56cb02e pushed by themathqueen
21s posSemidef_vecMulVec
posSemidef_vecMulVec
21s
posDef versions Run pre-commit and in-place update PR on push #22: Commit 6027896 pushed by themathqueen
27s posSemidef_vecMulVec
posSemidef_vecMulVec
27s
forgot one_le_prod and prod_le_one Run pre-commit and in-place update PR on push #21: Commit f47446a pushed by themathqueen
25s chore_generalize_one_le_prod
chore_generalize_one_le_prod
25s
generalize some stuff Run pre-commit and in-place update PR on push #20: Commit 6883303 pushed by themathqueen
25s chore_generalize_one_le_prod
chore_generalize_one_le_prod
25s
fix Run pre-commit and in-place update PR on push #19: Commit 9afdcec pushed by themathqueen
26s matrix_sum
matrix_sum
26s
some interactions with sum mulVec and dotProduct Run pre-commit and in-place update PR on push #18: Commit a3fddf3 pushed by themathqueen
27s matrix_sum
matrix_sum
27s
easy lemmas Run pre-commit and in-place update PR on push #17: Commit 6d47cc2 pushed by themathqueen
26s posSemidef_vecMulVec
posSemidef_vecMulVec
26s
change forall to pi Run pre-commit and in-place update PR on push #16: Commit 2c20aa7 pushed by themathqueen
20s submonoid_pi_closure
submonoid_pi_closure
20s
cleanup Run pre-commit and in-place update PR on push #15: Commit 71573b1 pushed by themathqueen
23s submonoid_pi_closure
submonoid_pi_closure
23s
submonoidclass Run pre-commit and in-place update PR on push #14: Commit c26af76 pushed by themathqueen
25s submonoid_pi_closure
submonoid_pi_closure
25s
fix Run pre-commit and in-place update PR on push #13: Commit 96d0704 pushed by themathqueen
25s pi_starOrderedRing
pi_starOrderedRing
25s
more cleanup Run pre-commit and in-place update PR on push #12: Commit c372000 pushed by themathqueen
19s pi_starOrderedRing
pi_starOrderedRing
19s
ProTip! You can narrow down the results and go further in time using created:<2025-09-19 or the other filters available.