Skip to content

Actions: luigi-massacci/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
19 workflow runs
19 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
TRIAL push 0: no cross-reference change Autolabel PRs #19: Pull request #3 opened by luigi-massacci
1s
1s
TRIAL push 0: no cross-reference change Autolabel PRs #18: Pull request #2 opened by luigi-massacci
2s
2s
Merge branch 'master' into LM_mul_distrib Autolabel PRs #17: Commit 6843830 pushed by luigi-massacci
8s LM_mul_distrib
LM_mul_distrib
8s
Merge branch 'master' into LM_distrib_support Autolabel PRs #16: Commit a21e4a6 pushed by luigi-massacci
1s LM_distrib_support
LM_distrib_support
1s
feat(RingTheory/IntegralClosure): add integrality of kerLift (#41058) Autolabel PRs #15: Commit 3b9fc57 pushed by luigi-massacci
1s master
master
1s
chore: remove two superfluous IsManifold hypotheses (#40786) Autolabel PRs #14: Commit e88fd8b pushed by luigi-massacci
1s master
master
1s
feat(Algebra/Order/BigOperators/Ring/Finset): weaken hypothesis in th… Autolabel PRs #13: Commit 23c1344 pushed by luigi-massacci
7s master
master
7s
Merge branch 'AD_remove_withOrder' into LM_PR_ContDiff_VIII_fderiv Autolabel PRs #12: Commit 7912600 pushed by ADedecker
1s LM_PR_ContDiff_VIII_fderiv
LM_PR_ContDiff_VIII_fderiv
1s
Merge remote-tracking branch 'upstream/master' into LM_PR_ContDiff_VI… Autolabel PRs #11: Commit 56f4b59 pushed by ADedecker
1s LM_PR_ContDiff_VIII_fderiv
LM_PR_ContDiff_VIII_fderiv
1s
Merge remote-tracking branch 'upstream/master' into LM_PR_ContDiff_VI… Autolabel PRs #10: Commit d43b057 pushed by ADedecker
Skipped LM_PR_ContDiff_VII_cont_lemmas
LM_PR_ContDiff_VII_cont_lemmas
Skipped
Merge branch 'LM_PR_ContDiff_VIII_fderiv' into LM_PR_ContDiff_IX_smooth Autolabel PRs #9: Commit 19654ae pushed by ADedecker
1s LM_PR_ContDiff_IX_smooth
LM_PR_ContDiff_IX_smooth
1s
Merge branch 'LM_PR_ContDiff_VII_cont_lemmas' into LM_PR_ContDiff_VII… Autolabel PRs #8: Commit 47faae9 pushed by ADedecker
1s LM_PR_ContDiff_VIII_fderiv
LM_PR_ContDiff_VIII_fderiv
1s
Merge branch 'LM_PR_ContDiff_VI_seminorms' into LM_PR_ContDiff_VII_co… Autolabel PRs #7: Commit 2a6a4d6 pushed by ADedecker
1s LM_PR_ContDiff_VII_cont_lemmas
LM_PR_ContDiff_VII_cont_lemmas
1s
Merge branch 'LM_PR_ContDiff_V_topology' into LM_PR_ContDiff_VI_semin… Autolabel PRs #6: Commit 1ab795f pushed by ADedecker
1s LM_PR_ContDiff_VI_seminorms
LM_PR_ContDiff_VI_seminorms
1s
Merge branch 'LM_PR_ContDiff_IV_FDeriv1' into LM_PR_ContDiff_V_topology Autolabel PRs #5: Commit 0484328 pushed by ADedecker
1s LM_PR_ContDiff_V_topology
LM_PR_ContDiff_V_topology
1s
chore: update Mathlib dependencies 2025-11-07 (#31355) Autolabel PRs #4: Commit d0670ee pushed by luigi-massacci
1s master
master
1s
Merge remote-tracking branch 'upstream/master' into LM_PR_ContDiff_IV… Autolabel PRs #3: Commit ea8c562 pushed by ADedecker
1s LM_PR_ContDiff_IV_FDeriv1
LM_PR_ContDiff_IV_FDeriv1
1s
Cleanup Autolabel PRs #2: Commit 5ca5807 pushed by luigi-massacci
1s lm_ContDiffMapSupportedIn
lm_ContDiffMapSupportedIn
1s
chore(RingTheory): process porting notes, part 1 (#29112) Autolabel PRs #1: Commit 8acd6df pushed by luigi-massacci
1s master
master
1s