Skip to content

Actions: rosborn/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
35 workflow runs
35 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
Run pre-commit and in-place update PR on push Run pre-commit and in-place update PR on push #35: by rosborn
34s rosborn/nat-unitary-divisor
rosborn/nat-unitary-divisor
34s
Run pre-commit and in-place update PR on push Run pre-commit and in-place update PR on push #34: by rosborn
32s rosborn/finsupp-filter-order
rosborn/finsupp-filter-order
32s
Run pre-commit and in-place update PR on push Run pre-commit and in-place update PR on push #33: by rosborn
34s rosborn/minimal-normal
rosborn/minimal-normal
34s
Run pre-commit and in-place update PR on push Run pre-commit and in-place update PR on push #32: by rosborn
29s rosborn/subsingleton-commutative
rosborn/subsingleton-commutative
29s
Run pre-commit and in-place update PR on push Run pre-commit and in-place update PR on push #31: by rosborn
30s rosborn/pgroup-composite
rosborn/pgroup-composite
30s
Run pre-commit and in-place update PR on push Run pre-commit and in-place update PR on push #30: by rosborn
25s rosborn/subgroup-compact-element
rosborn/subgroup-compact-element
25s
Run pre-commit and in-place update PR on push Run pre-commit and in-place update PR on push #29: by rosborn
33s rosborn/complement-transport
rosborn/complement-transport
33s
Run pre-commit and in-place update PR on push Run pre-commit and in-place update PR on push #28: by rosborn
46s rosborn/nat-coprime-support
rosborn/nat-coprime-support
46s
Run pre-commit and in-place update PR on push Run pre-commit and in-place update PR on push #27: by rosborn
30s rosborn/solvable-transport
rosborn/solvable-transport
30s
Run pre-commit and in-place update PR on push Run pre-commit and in-place update PR on push #26: by rosborn
42s rosborn/commutator-lemmas
rosborn/commutator-lemmas
42s
Run pre-commit and in-place update PR on push Run pre-commit and in-place update PR on push #25: by rosborn
31s rosborn/noncomm-picoprod-card
rosborn/noncomm-picoprod-card
31s
Run pre-commit and in-place update PR on push Run pre-commit and in-place update PR on push #24: by rosborn
35s rosborn/factorization-apply
rosborn/factorization-apply
35s
Run pre-commit and in-place update PR on push Run pre-commit and in-place update PR on push #23: by rosborn
29s rosborn/conj-normalizer-lemmas
rosborn/conj-normalizer-lemmas
29s
Run pre-commit and in-place update PR on push Run pre-commit and in-place update PR on push #22: by rosborn
27s rosborn/pgroup-injective-transport
rosborn/pgroup-injective-transport
27s
Run pre-commit and in-place update PR on push Run pre-commit and in-place update PR on push #21: by rosborn
34s rosborn/hall-defs
rosborn/hall-defs
34s
feat(Algebra/Group/Subgroup): subgroupOf under map and comap Run pre-commit and in-place update PR on push #20: Commit d359cd7 pushed by rosborn
35s rosborn/subgroupof-map-comap
rosborn/subgroupof-map-comap
35s
feat(GroupTheory): Sylow subgroups of subgroups with index prime to p Run pre-commit and in-place update PR on push #19: Commit dcd496a pushed by rosborn
37s rosborn/sylow-cyclic-lemmas
rosborn/sylow-cyclic-lemmas
37s
Run pre-commit and in-place update PR on push Run pre-commit and in-place update PR on push #18: by rosborn
30s rosborn/quotient-subgroup-equivs
rosborn/quotient-subgroup-equivs
30s
Run pre-commit and in-place update PR on push Run pre-commit and in-place update PR on push #17: by rosborn
40s rosborn/subgroup-card-bridges
rosborn/subgroup-card-bridges
40s
refactor(GroupTheory): generalize coprime independence to Nat.card Run pre-commit and in-place update PR on push #16: Commit 353e8f1 pushed by rosborn
35s rosborn/coprime-order-natcard
rosborn/coprime-order-natcard
35s
Remove stale readme comment Run pre-commit and in-place update PR on push #15: Commit d602f16 pushed by rosborn
30s rosborn/dirdep-json
rosborn/dirdep-json
30s
Remove C-style comments from json parsing Run pre-commit and in-place update PR on push #14: Commit 20f0064 pushed by rosborn
30s rosborn/dirdep-json
rosborn/dirdep-json
30s
Add biInf/sInf versions Run pre-commit and in-place update PR on push #13: Commit 94bb7bf pushed by rosborn
26s rosborn/iSup-characteristic
rosborn/iSup-characteristic
26s
Add doc comments and style nits Run pre-commit and in-place update PR on push #12: Commit bf5a520 pushed by rosborn
32s rosborn/dirdep-json
rosborn/dirdep-json
32s
Add inf versions. Clean up type signatures. Run pre-commit and in-place update PR on push #11: Commit 6640e28 pushed by rosborn
30s rosborn/iSup-characteristic
rosborn/iSup-characteristic
30s