Skip to content

Actions: Deep0Thinking/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
10 workflow runs
10 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 branch 'master' into Frullani_integral Autolabel PRs #10: Commit d23e9f0 pushed by Deep0Thinking
11s Frullani_integral
Frullani_integral
11s
Merge branch 'master' into bonferroni-inclusion-exclusion Autolabel PRs #9: Commit 9eabcc6 pushed by Deep0Thinking
1s bonferroni-inclusion-exclusion
bonferroni-inclusion-exclusion
1s
fix Autolabel PRs #8: Commit ac6b844 pushed by Deep0Thinking
1s derivativetest
derivativetest
1s
Merge branch 'master' into Frullani_integral Autolabel PRs #7: Commit 2c6dae8 pushed by Deep0Thinking
1s Frullani_integral
Frullani_integral
1s
Merge branch 'master' into Frullani_integral Autolabel PRs #6: Commit 95ec31c pushed by Deep0Thinking
1s Frullani_integral
Frullani_integral
1s
feat(Analysis/Calculus/DerivativeTest): add continuousOn_*, `isMaxO… Autolabel PRs #5: Commit 5b5db12 pushed by Deep0Thinking
2s derivativetest
derivativetest
2s
chore: change remaining _neq_ to _ne_ (#35350) Autolabel PRs #4: Commit 1757879 pushed by Deep0Thinking
1s master
master
1s
chore: update Mathlib dependencies 2026-02-03 (#34771) Autolabel PRs #3: Commit a786f33 pushed by Deep0Thinking
3s master
master
3s
Merge branch 'feat-first-mvt-for-integrals' of https://github.com/Dee… Autolabel PRs #2: Commit ddab30d pushed by Deep0Thinking
1s feat-first-mvt-for-integrals
feat-first-mvt-for-integrals
1s
Merge remote-tracking branch 'upstream/master' into feat-first-mvt-fo… Autolabel PRs #1: Commit 3fe9576 pushed by Deep0Thinking
1s feat-first-mvt-for-integrals
feat-first-mvt-for-integrals
1s