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
chore(Analysis/SpecialFunctions/FrullaniIntegral): fix linter warning Run pre-commit and in-place update PR on push #105: Commit 4cee9c6 pushed by Deep0Thinking
22s Frullani_integral
Frullani_integral
22s
Merge branch 'master' into Frullani_integral Run pre-commit and in-place update PR on push #104: Commit 66d1ce1 pushed by Deep0Thinking
28s Frullani_integral
Frullani_integral
28s
style(Analysis/SpecialFunctions): golf and fix authorship Run pre-commit and in-place update PR on push #103: Commit f58e0a8 pushed by Deep0Thinking
30s Frullani_integral
Frullani_integral
30s
style(Analysis/SpecialFunctions/FrullaniIntegral): tiny clean up Run pre-commit and in-place update PR on push #102: Commit c85e85f pushed by Deep0Thinking
29s Frullani_integral
Frullani_integral
29s
refactor(Analysis/SpecialFunctions): move Frullani's integral to its … Run pre-commit and in-place update PR on push #101: Commit 8837782 pushed by Deep0Thinking
28s Frullani_integral
Frullani_integral
28s
style(Analysis/SpecialFunctions): tiny clean up Run pre-commit and in-place update PR on push #100: Commit 095d129 pushed by Deep0Thinking
23s Frullani_integral
Frullani_integral
23s
refactor(Analysis/SpecialFunctions): move Frullani's integral to its … Run pre-commit and in-place update PR on push #99: Commit 8837782 pushed by Deep0Thinking
24s Frullani_integral
Frullani_integral
24s
refactor(Analysis/SpecialFunctions/ImproperIntegrals): generalize Fru… Run pre-commit and in-place update PR on push #98: Commit ba9b598 pushed by Deep0Thinking
27s Frullani_integral
Frullani_integral
27s
Merge branch 'master' into Frullani_integral Run pre-commit and in-place update PR on push #97: Commit d23e9f0 pushed by Deep0Thinking
32s Frullani_integral
Frullani_integral
32s
Merge branch 'master' into bonferroni-inclusion-exclusion Run pre-commit and in-place update PR on push #96: Commit 9eabcc6 pushed by Deep0Thinking
31s bonferroni-inclusion-exclusion
bonferroni-inclusion-exclusion
31s
refactor(Analysis/SpecialFunctions/ImproperIntegrals): format and golf Run pre-commit and in-place update PR on push #95: Commit 9269fad pushed by Deep0Thinking
27s Frullani_integral
Frullani_integral
27s
Merge branch 'master' into Frullani_integral Run pre-commit and in-place update PR on push #94: Commit e9d5415 pushed by Deep0Thinking
24s Frullani_integral
Frullani_integral
24s
factor(Analysis/SpecialFunctions/ImproperIntegrals): format and golf Run pre-commit and in-place update PR on push #93: Commit 69f2fd9 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 #92: Commit e9d5415 pushed by Deep0Thinking
25s Frullani_integral
Frullani_integral
25s
feat(Analysis/SpecialFunctions/ImproperIntegrals): generalize Frullan… Run pre-commit and in-place update PR on push #91: Commit 61b111b pushed by Deep0Thinking
28s Frullani_integral
Frullani_integral
28s
Merge branch 'master' into Frullani_integral Run pre-commit and in-place update PR on push #90: Commit 29b9af9 pushed by Deep0Thinking
30s Frullani_integral
Frullani_integral
30s
chore(Order/Filter/Extr): fix docstrings; format Run pre-commit and in-place update PR on push #89: Commit a18f0c2 pushed by Deep0Thinking
26s derivativetest
derivativetest
26s
fix Run pre-commit and in-place update PR on push #88: Commit ac6b844 pushed by Deep0Thinking
27s derivativetest
derivativetest
27s
chore: fix docstrings; format Run pre-commit and in-place update PR on push #87: Commit 2c3421b pushed by Deep0Thinking
28s derivativetest
derivativetest
28s
fix Run pre-commit and in-place update PR on push #86: Commit ac6b844 pushed by Deep0Thinking
28s derivativetest
derivativetest
28s
chore(Topology/Algebra/Monoid): resolve linter warning Run pre-commit and in-place update PR on push #85: Commit 65be67b pushed by Deep0Thinking
27s Frullani_integral
Frullani_integral
27s
Merge branch 'master' into Frullani_integral Run pre-commit and in-place update PR on push #84: Commit c93b76d pushed by Deep0Thinking
23s Frullani_integral
Frullani_integral
23s
feat(Analysis/SpecialFunctions/ImproperIntegrals): prove and generali… Run pre-commit and in-place update PR on push #83: Commit b2b98a2 pushed by Deep0Thinking
28s Frullani_integral
Frullani_integral
28s
refactor(Analysis/SpecialFunctions/ImproperIntegrals): add Frullani l… Run pre-commit and in-place update PR on push #82: Commit e695740 pushed by Deep0Thinking
24s Frullani_integral
Frullani_integral
24s
Merge branch 'master' into Frullani_integral Run pre-commit and in-place update PR on push #81: Commit 2c6dae8 pushed by Deep0Thinking
21s Frullani_integral
Frullani_integral
21s