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
fix(MeasureTheory/Integral/IntervalAverage): restore uIoc in interval… Run pre-commit and in-place update PR on push #5: Commit cbdf83b pushed by Deep0Thinking
24s feat-first-mvt-for-integrals
feat-first-mvt-for-integrals
24s
chore: run lake exe mk_all Run pre-commit and in-place update PR on push #4: Commit e1b1824 pushed by Deep0Thinking
25s feat-first-mvt-for-integrals
feat-first-mvt-for-integrals
25s
feat(MeasureTheory/Integral/IntervalIntegral/MeanValue): rename first… Run pre-commit and in-place update PR on push #3: Commit bbee7a7 pushed by Deep0Thinking
39s feat-first-mvt-for-integrals
feat-first-mvt-for-integrals
39s
chore(MeasureTheory/Integral/IntervalIntegral/MeanValue): update for … Run pre-commit and in-place update PR on push #2: Commit d4a8d0e pushed by Deep0Thinking
28s feat-first-mvt-for-integrals
feat-first-mvt-for-integrals
28s
Merge remote-tracking branch 'upstream/master' into feat-first-mvt-fo… Run pre-commit and in-place update PR on push #1: Commit 3fe9576 pushed by Deep0Thinking
33s feat-first-mvt-for-integrals
feat-first-mvt-for-integrals
33s