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,708 workflow runs
1,708 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
chore(Combinatorics/SimpleGraph/Connectivity/Connected): simplify `re… Run pre-commit and in-place update PR on push #258: Commit ba1f443 pushed by SnirBroshi
24s feature/simple-graph/reachability-set
feature/simple-graph/reachability-set
24s
chore(Combinatorics/SimpleGraph/Connectivity/Connected): `Sym2.induct… Run pre-commit and in-place update PR on push #257: Commit 187af43 pushed by SnirBroshi
25s feature/simple-graph/reachability-set
feature/simple-graph/reachability-set
25s
Merge remote-tracking branch 'origin/master' into feature/connected-c… Run pre-commit and in-place update PR on push #256: Commit 1d9add0 pushed by SnirBroshi
30s feature/connected-component-to-subgraph
feature/connected-component-to-subgraph
30s
chore(NumberTheory/Niven): minimize imports Run pre-commit and in-place update PR on push #255: Commit edada85 pushed by SnirBroshi
24s feature/niven/is-integral-exp-sin-cos-tan
feature/niven/is-integral-exp-sin-cos-tan
24s
chore(Data/Int/Bitwise): remove unused simp argument Run pre-commit and in-place update PR on push #254: Commit a78a6b3 pushed by SnirBroshi
30s feature/bitwise/xor-range
feature/bitwise/xor-range
30s
feat(Combinatorics/SimpleGraph/Walk): lemmas about the first and last… Run pre-commit and in-place update PR on push #253: Commit 0ff6f6b pushed by SnirBroshi
32s feature/simple-graph/walk/dart-edge-lemmas
feature/simple-graph/walk/dart-edge-lemmas
32s
feat(Analysis/Analytic/RadiusLiminf): finish the Cauchy-Hadamard theorem Run pre-commit and in-place update PR on push #252: Commit 0d11c63 pushed by SnirBroshi
25s feature/cauchy-hadamard
feature/cauchy-hadamard
25s
feat(Analysis/Analytic/RadiuLiminf): finish the Cauchy-Hadamard theorem Run pre-commit and in-place update PR on push #251: Commit 39d74aa pushed by SnirBroshi
25s feature/cauchy-hadamard
feature/cauchy-hadamard
25s
feat(FieldTheory/Minpoly/IsIntegrallyClosed): if an element is the ro… Run pre-commit and in-place update PR on push #250: Commit 763ba37 pushed by SnirBroshi
22s feature/minpoly/integrally-closed
feature/minpoly/integrally-closed
22s
feat(FieldTheory/Minpoly/IsIntegrallyClosed): if an element is the ro… Run pre-commit and in-place update PR on push #249: Commit a353403 pushed by SnirBroshi
23s feature/minpoly/integrally-closed
feature/minpoly/integrally-closed
23s
feat(Data/Nat/Bitwise): formula for the xor of {0,...,n} Run pre-commit and in-place update PR on push #248: Commit 7f55cd7 pushed by SnirBroshi
27s feature/bitwise/xor-range
feature/bitwise/xor-range
27s
feat(Analysis/SpecialFunctions/Gamma/BohrMollerup): the Gamma functio… Run pre-commit and in-place update PR on push #247: Commit 6749020 pushed by SnirBroshi
28s feature/gamma/minimum
feature/gamma/minimum
28s
feat(Analysis/SpecialFunctions/Gamma/BohrMollerup): Gamma is strictly… Run pre-commit and in-place update PR on push #246: Commit 03e6507 pushed by SnirBroshi
33s feature/gamma/strict-anti-on
feature/gamma/strict-anti-on
33s
feat(NumberTheory/Niven): exp(q π i) is integral for rational q Run pre-commit and in-place update PR on push #245: Commit 9b48e89 pushed by SnirBroshi
24s feature/niven/is-integral-exp-sin-cos-tan
feature/niven/is-integral-exp-sin-cos-tan
24s
feat(NumberTheory/Niven): exp(q π i) is integral for rational q Run pre-commit and in-place update PR on push #244: Commit 2848b3c pushed by SnirBroshi
21s feature/niven/is-integral-exp-sin-cos-tan
feature/niven/is-integral-exp-sin-cos-tan
21s
feat(NumberTheory/Niven): exp(q π i) is integral for rational q Run pre-commit and in-place update PR on push #243: Commit bf190c3 pushed by SnirBroshi
29s feature/niven/is-integral-exp-sin-cos-tan
feature/niven/is-integral-exp-sin-cos-tan
29s
feat(Analysis/Convex/Slope): StrictAntiOn and ConcaveOn versions … Run pre-commit and in-place update PR on push #242: Commit cd19e02 pushed by SnirBroshi
26s feature/convex-on-strict-anti
feature/convex-on-strict-anti
26s
chore(NumberTheory/Real/GoldenRatio): golf fib identities using grind Run pre-commit and in-place update PR on push #241: Commit 6f72fc2 pushed by SnirBroshi
24s feature/golden-ratio/fib-identities
feature/golden-ratio/fib-identities
24s
feat(NumberTheory/Real/GoldenRatio): add two more fib identities Run pre-commit and in-place update PR on push #240: Commit d8ff96d pushed by SnirBroshi
31s feature/golden-ratio/fib-identities
feature/golden-ratio/fib-identities
31s
Merge branch 'feature/simple-graph/reachability-set' into feature/sim… Run pre-commit and in-place update PR on push #239: Commit 211328a pushed by SnirBroshi
29s feature/simple-graph/maximally-acyclic-is-tree
feature/simple-graph/maximally-acyclic-is-tree
29s
Merge remote-tracking branch 'origin/master' into feature/simple-grap… Run pre-commit and in-place update PR on push #238: Commit 5325d44 pushed by SnirBroshi
30s feature/simple-graph/reachability-set
feature/simple-graph/reachability-set
30s
chore(Data/Matrix/Mul): convert + simp -> simpa using Run pre-commit and in-place update PR on push #237: Commit c19afac pushed by SnirBroshi
22s feature/matrix/mulvec-injective
feature/matrix/mulvec-injective
22s
Merge branch 'master' into feature/relation-map-onfun Run pre-commit and in-place update PR on push #236: Commit 0e4f087 pushed by SnirBroshi
28s feature/relation-map-onfun
feature/relation-map-onfun
28s
chore(Logic/Relation): use Subrelation because LE on relations is n… Run pre-commit and in-place update PR on push #235: Commit dead5bf pushed by SnirBroshi
24s feature/relation-map-onfun
feature/relation-map-onfun
24s
feat(FieldTheory/IsAlgClosed/Basic): generalize `exists_aeval_eq_zero… Run pre-commit and in-place update PR on push #234: Commit 05b9a2c pushed by SnirBroshi
38s feature/polynomial/generalize-aeval-ex-zero
feature/polynomial/generalize-aeval-ex-zero
38s
ProTip! You can narrow down the results and go further in time using created:<2025-11-05 or the other filters available.