Skip to content

Actions: Deep0Thinking/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
105 workflow runs
105 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
refactor(MeasureTheory/Integral/IntegralEqImproper): remove redundant… Run pre-commit and in-place update PR on push #55: Commit 85578c0 pushed by Deep0Thinking
36s tendsto_integral_Ioi
tendsto_integral_Ioi
36s
docs(MeasureTheory/Integral/DominatedConvergence): update authorship Run pre-commit and in-place update PR on push #54: Commit 18c2b8a pushed by Deep0Thinking
28s tendsto_integral_Ioi
tendsto_integral_Ioi
28s
refactor(MeasureTheory/Integral/DominatedConvergence): golf `Integrab… Run pre-commit and in-place update PR on push #53: Commit a35f5ac pushed by Deep0Thinking
21s tendsto_integral_Ioi
tendsto_integral_Ioi
21s
feat(MeasureTheory/Integral/IntegralEqImproper): add `IntegrableOn.te… Run pre-commit and in-place update PR on push #52: Commit 08867a3 pushed by Deep0Thinking
26s tendsto_integral_Ioi
tendsto_integral_Ioi
26s
feat(MeasureTheory/Integral/DominatedConvergence): add `IntegrableOn.… Run pre-commit and in-place update PR on push #51: Commit 450ca44 pushed by Deep0Thinking
29s tendsto_integral_Ioi
tendsto_integral_Ioi
29s
feat(MeasureTheory/Integral/IntegralEqImproper): add `IntegrableOn.te… Run pre-commit and in-place update PR on push #50: Commit 803ed4a pushed by Deep0Thinking
22s tendsto_integral_Ioi
tendsto_integral_Ioi
22s
feat(MeasureTheory/Integral/DominatedConvergence): add theorems for `… Run pre-commit and in-place update PR on push #49: Commit 6559776 pushed by Deep0Thinking
26s tendsto_integral_Ioi
tendsto_integral_Ioi
26s
feat(MeasureTheory/Integral/DominatedConvergence): add `IntegrableOn.… Run pre-commit and in-place update PR on push #48: Commit b0dc0e1 pushed by Deep0Thinking
23s tendsto_integral_Ioi
tendsto_integral_Ioi
23s
refactor(MeasureTheory/Integral/IntegralEqImproper): golf `Integrable… Run pre-commit and in-place update PR on push #47: Commit 52153e5 pushed by Deep0Thinking
24s tendsto_integral_Ioi
tendsto_integral_Ioi
24s
feat(MeasureTheory/Integral/DominatedConvergence): add `IntegrableOn.… Run pre-commit and in-place update PR on push #46: Commit 2609550 pushed by Deep0Thinking
28s tendsto_integral_Ioi
tendsto_integral_Ioi
28s
feat(MeasureTheory/Integral/IntegralEqImproper): add `IntegrableOn.te… Run pre-commit and in-place update PR on push #45: Commit 7c81d6f pushed by Deep0Thinking
26s tendsto_integral_Ioi
tendsto_integral_Ioi
26s
feat(Order/Interval/Set/LinearOrder): add Ioi_diff_Ioc Run pre-commit and in-place update PR on push #44: Commit d661927 pushed by Deep0Thinking
22s tendsto_integral_Ioi
tendsto_integral_Ioi
22s
feat(MeasureTheory/Integral/IntegralEqImproper): add `IntegrableOn.te… Run pre-commit and in-place update PR on push #43: Commit 01773e7 pushed by Deep0Thinking
25s tendsto_integral_Ioi
tendsto_integral_Ioi
25s
feat(Order/Interval/Set/LinearOrder): add Ioi_diff_Ioc Run pre-commit and in-place update PR on push #42: Commit d661927 pushed by Deep0Thinking
30s tendsto_integral_Ioi
tendsto_integral_Ioi
30s
chore: update Mathlib dependencies 2026-02-03 (#34771) Run pre-commit and in-place update PR on push #41: Commit a786f33 pushed by Deep0Thinking
26s tendsto_integral_Ioi
tendsto_integral_Ioi
26s
feat(Order/Interval/Set/LinearOrder): add Ioi_diff_Ioc Run pre-commit and in-place update PR on push #40: Commit cad6910 pushed by Deep0Thinking
22s tendsto_integral_Ioi
tendsto_integral_Ioi
22s
chore: update Mathlib dependencies 2026-02-03 (#34771) Run pre-commit and in-place update PR on push #39: Commit a786f33 pushed by Deep0Thinking
26s tendsto_integral_Ioi
tendsto_integral_Ioi
26s
Merge branch 'master' into Frullani_integral Run pre-commit and in-place update PR on push #38: Commit 9d3d5b1 pushed by Deep0Thinking
25s tendsto_integral_Ioi
tendsto_integral_Ioi
25s
Merge branch 'master' into Frullani_integral Run pre-commit and in-place update PR on push #37: Commit 9d3d5b1 pushed by Deep0Thinking
25s Frullani_integral
Frullani_integral
25s
Merge branch 'master' into Frullani_integral Run pre-commit and in-place update PR on push #36: Commit 57a2811 pushed by Deep0Thinking
23s Frullani_integral
Frullani_integral
23s
docs(Analysis/SpecialFunctions/ImproperIntegrals): update authorship Run pre-commit and in-place update PR on push #35: Commit 0570c4e pushed by Deep0Thinking
21s Frullani_integral
Frullani_integral
21s
[pre-commit.ci lite] apply automatic fixes Run pre-commit and in-place update PR on push #34: Commit 2304857 pushed by pre-commit-ci-lite Bot
22s Frullani_integral
Frullani_integral
22s
feat(Analysis/SpecialFunctions/ImproperIntegrals): add Frullani integ… Run pre-commit and in-place update PR on push #33: Commit 056d2ee pushed by Deep0Thinking
21s Frullani_integral
Frullani_integral
21s
feat(MeasureTheory/Integral): add exists_integral_div_eq_mul_log Run pre-commit and in-place update PR on push #32: Commit 977fa1b pushed by Deep0Thinking
22s Frullani_integral
Frullani_integral
22s
feat(MeasureTheory/Integral): add IntegrableOn.tendsto_integral_Ioi Run pre-commit and in-place update PR on push #31: Commit b9f6f5a pushed by Deep0Thinking
28s Frullani_integral
Frullani_integral
28s