Skip to content

Actions: SnirBroshi/mathlib4

Actions

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

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,677 workflow runs
1,677 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
Merge remote-tracking branch 'origin/master' into chore/factorial-big… Run pre-commit and in-place update PR on push #27: Commit 160f395 pushed by SnirBroshi
23s chore/factorial-big-operators
chore/factorial-big-operators
23s
chore(Algebra/BigOperators): move factorial theorem to `Data/Nat/Fact… Run pre-commit and in-place update PR on push #26: Commit 96e3a13 pushed by SnirBroshi
33s chore/factorial-big-operators
chore/factorial-big-operators
33s
feat(Data/Set/Lattice): useful equivalences of biUnion and biInter Run pre-commit and in-place update PR on push #25: Commit 4df7ab3 pushed by SnirBroshi
33s feature/lattice-bi-union-lemmas
feature/lattice-bi-union-lemmas
33s
feat(Combinatorics/SimpleGraph/Hamiltonian): add docstrings to `suppo… Run pre-commit and in-place update PR on push #24: Commit 865806c pushed by SnirBroshi
30s feature/hamiltonian-equiv-fin
feature/hamiltonian-equiv-fin
30s
feat(Combinatorics/SimpleGraph/Hamiltonian): p.support.get and `p.g… Run pre-commit and in-place update PR on push #23: Commit 3d06960 pushed by SnirBroshi
28s feature/hamiltonian-equiv-fin
feature/hamiltonian-equiv-fin
28s
feat(NumberTheory/ArithmeticFunction): Nat.sum_divisors for sigma… Run pre-commit and in-place update PR on push #22: Commit d689542 pushed by SnirBroshi
27s feature/arithmetic-function-lemmas
feature/arithmetic-function-lemmas
27s
chore(Analysis/SpecificLimits/Fibonacci): use bound Run pre-commit and in-place update PR on push #21: Commit 577d84d pushed by SnirBroshi
30s feature/fibonacci-div-limit
feature/fibonacci-div-limit
30s
Merge remote-tracking branch 'origin/master' into feature/polynomial-… Run pre-commit and in-place update PR on push #20: Commit 650fd9e pushed by SnirBroshi
26s feature/polynomial-lemmas
feature/polynomial-lemmas
26s
feat(RingTheory/SimpleRing/Basic): add FaithfulSMul instance for alge… Run pre-commit and in-place update PR on push #19: Commit 0cdfa5f pushed by SnirBroshi
27s feature/polynomial-lemmas
feature/polynomial-lemmas
27s
chore(Algebra/Polynomial): remove non-terminal simp and use obtain rfl Run pre-commit and in-place update PR on push #18: Commit 60be9b3 pushed by SnirBroshi
28s feature/polynomial-lemmas
feature/polynomial-lemmas
28s
chore(Algebra/Polynomial/Splits): golf coeff proofs Run pre-commit and in-place update PR on push #17: Commit d872f50 pushed by SnirBroshi
22s feature/polynomial-lemmas
feature/polynomial-lemmas
22s
chore(FieldTheory/IsAlgClosed/Basic): add theorems relating roots and… Run pre-commit and in-place update PR on push #16: Commit 0fa2b60 pushed by SnirBroshi
25s feature/polynomial-lemmas
feature/polynomial-lemmas
25s
chore(Algebra/Polynomial/Roots): simplify proof of `Irreducible.roots… Run pre-commit and in-place update PR on push #15: Commit d849a67 pushed by SnirBroshi
21s feature/polynomial-lemmas
feature/polynomial-lemmas
21s
chore(Algebra/Polynomial/Degree/Lemmas):remove leadingCoeff_C_mul a… Run pre-commit and in-place update PR on push #14: Commit d174dfe pushed by SnirBroshi
27s feature/polynomial-lemmas
feature/polynomial-lemmas
27s
chore(Algebra/Polynomial/Basic): untag c_ofNat simp Run pre-commit and in-place update PR on push #13: Commit 605883a pushed by SnirBroshi
24s feature/polynomial-lemmas
feature/polynomial-lemmas
24s
chore(Algebra/Polynomial/Eval/Defs): untag eval_map simp Run pre-commit and in-place update PR on push #12: Commit adcf20d pushed by SnirBroshi
31s feature/polynomial-lemmas
feature/polynomial-lemmas
31s
Merge remote-tracking branch 'origin/master' into feature/polynomial-… Run pre-commit and in-place update PR on push #11: Commit fbd9860 pushed by SnirBroshi
21s feature/polynomial-lemmas
feature/polynomial-lemmas
21s
feat(FieldTheory/IsAlgClosed): polynomials have the same amount of ro… Run pre-commit and in-place update PR on push #10: Commit 7ba7350 pushed by SnirBroshi
32s feature/polynomial-lemmas
feature/polynomial-lemmas
32s
Revert "chore(Data/Setoid/Basic): abbrev kerLift -> def kerLift" Run pre-commit and in-place update PR on push #9: Commit 16f1d8d pushed by SnirBroshi
20s feature/ker-lift
feature/ker-lift
20s
chore(Data/Setoid/Basic): remove apply_out_eq_kerLift Run pre-commit and in-place update PR on push #8: Commit 8c1309a pushed by SnirBroshi
26s feature/ker-lift
feature/ker-lift
26s
chore(Data/Setoid/Basic): abbrev kerLift -> def kerLift Run pre-commit and in-place update PR on push #7: Commit bc1ba61 pushed by SnirBroshi
24s feature/ker-lift
feature/ker-lift
24s
Revert "chore(Data/Setoid/Basic): add backticks all code snippets in … Run pre-commit and in-place update PR on push #6: Commit 4f12547 pushed by SnirBroshi
27s feature/ker-lift
feature/ker-lift
27s
chore(Data/Setoid/Basic): add deprecation after renaming `ker_lift_in… Run pre-commit and in-place update PR on push #5: Commit fa73e3a pushed by SnirBroshi
28s feature/ker-lift
feature/ker-lift
28s
chore(RingTheory/RootsOfUnity): use convert to make proofs easier t… Run pre-commit and in-place update PR on push #4: Commit abac742 pushed by SnirBroshi
25s feature/primitive-root-exp-rat
feature/primitive-root-exp-rat
25s
chore(Analysis/SpecificLimits/Fibonacci): add module docstring Run pre-commit and in-place update PR on push #3: Commit 23b1b28 pushed by SnirBroshi
25s feature/fibonacci-div-limit
feature/fibonacci-div-limit
25s
ProTip! You can narrow down the results and go further in time using created:<2025-09-17 or the other filters available.