Skip to content

Actions: dagurtomas/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
41 workflow runs
41 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 remote-tracking branch 'upstream/master' into profunctor-comp Autolabel PRs #41: Commit a016c50 pushed by dagurtomas
2s profunctor-comp
profunctor-comp
2s
Polish SES dimension lemmas Autolabel PRs #40: Commit 7637953 pushed by dagurtomas
10s pi/pr36643-ses-dimension-cleanup
pi/pr36643-ses-dimension-cleanup
10s
Improve Baer Ext documentation Autolabel PRs #39: Commit 01772fd pushed by dagurtomas
10s pi/pr32058-doc-clarity
pi/pr32058-doc-clarity
10s
feat(CategoryTheory): the bicategory of profunctors Autolabel PRs #38: Pull request #1 opened by dagurtomas
2s
2s
Merge branch 'master' into chosen-ends Autolabel PRs #37: Commit c947e7c pushed by dagurtomas
2s chosen-ends
chosen-ends
2s
Merge branch 'master' into profunctor-comp Autolabel PRs #36: Commit 48eaca0 pushed by dagurtomas
2s profunctor-comp
profunctor-comp
2s
feat: scalar multiplication of an NNReal against 1 : ENNReal (#37… Autolabel PRs #35: Commit 31b99e0 pushed by dagurtomas
1s master
master
1s
feat(simps): relax custom projection type check; add tests Autolabel PRs #34: Commit a90cf30 pushed by dagurtomas
1s dagur/simps-custom-proj-compat
dagur/simps-custom-proj-compat
1s
Merge branch 'master' into use-mk-concrete-cat Autolabel PRs #33: Commit eba0c40 pushed by dagurtomas
2s use-mk-concrete-cat
use-mk-concrete-cat
2s
abbrevs to improve automation Autolabel PRs #32: Commit 39866c4 pushed by dagurtomas
2s dagur-experiment-38965
dagur-experiment-38965
2s
Merge branch 'master' of github.com:leanprover-community/mathlib4 int… Autolabel PRs #31: Commit 070613f pushed by dagurtomas
3s typecat-3
typecat-3
3s
feat(ProbabilityTheory): Conditional Jensen's Inequality (#27953) Autolabel PRs #30: Commit 9ea9209 pushed by dagurtomas
1s master
master
1s
merge Autolabel PRs #29: Commit 91deea2 pushed by dagurtomas
1s typecat
typecat
1s
refactor(CategoryTheory): remove HasForget Autolabel PRs #28: Commit 3ae7bc5 pushed by dagurtomas
1s remove-hasforget
remove-hasforget
1s
Merge branch 'master' of github.com:leanprover-community/mathlib4 int… Autolabel PRs #27: Commit 8275b42 pushed by dagurtomas
1s condensed-preservesepi
condensed-preservesepi
1s
fix conflict Autolabel PRs #26: Commit 2b96e04 pushed by dagurtomas
8s lightprofinite-injective
lightprofinite-injective
8s
Merge branch 'master' of github.com:leanprover-community/mathlib4 int… Autolabel PRs #25: Commit a3a1dff pushed by dagurtomas
1s adjoint-functor-thm
adjoint-functor-thm
1s
Merge branch 'master' of github.com:leanprover-community/mathlib4 int… Autolabel PRs #24: Commit 76bee47 pushed by dagurtomas
1s lightprofinite-injective
lightprofinite-injective
1s
merge Autolabel PRs #23: Commit 7f1d92d pushed by dagurtomas
1s cover-effective-epi
cover-effective-epi
1s
Merge branch 'move-closed' into transport-closed2 Autolabel PRs #22: Commit bca6530 pushed by dagurtomas
1s transport-closed2
transport-closed2
1s
Merge branch 'master' into light-profinite-cartesian Autolabel PRs #21: Commit 4f7db44 pushed by dagurtomas
1s light-profinite-cartesian
light-profinite-cartesian
1s
Merge branch 'master' into dagur/anodyne Autolabel PRs #20: Commit 5ed00f9 pushed by dagurtomas
1s dagur/anodyne
dagur/anodyne
1s
Merge branch 'master' of github.com:leanprover-community/mathlib4 int… Autolabel PRs #19: Commit 78c09c4 pushed by dagurtomas
1s move-closed
move-closed
1s
Merge branch 'light-profinite-cartesian' into condensed-internally-pr… Autolabel PRs #18: Commit 29539ed pushed by dagurtomas
1s condensed-internally-projective
condensed-internally-projective
1s
Merge branch 'master' of github.com:leanprover-community/mathlib4 int… Autolabel PRs #17: Commit 981821a pushed by dagurtomas
1s dagur/loc-mon-up
dagur/loc-mon-up
1s