Skip to content

Actions: callesonne/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
30 workflow runs
30 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
feat(Topology/Instances/AddCircle): add Ioc analogues of lift and equ… Autolabel PRs #30: Commit ade87df pushed by callesonne
1s master
master
1s
revert Autolabel PRs #29: Commit 120402b pushed by callesonne
1s bicategory-yoneda-lemma
bicategory-yoneda-lemma
1s
chore(RingTheory/Valuation/RankOne): modify the definition of Valuati… Autolabel PRs #28: Commit 2050510 pushed by callesonne
1s master
master
1s
compiling now Autolabel PRs #27: Commit 61ab5e0 pushed by callesonne
1s bicategory-yoneda
bicategory-yoneda
1s
chore(CategoryTheory/Pi/Monoidal): monoidal Functor.pi and `Functor… Autolabel PRs #26: Commit 4aa3a51 pushed by callesonne
1s master
master
1s
Merge branch 'master' into bicategory-yoneda Autolabel PRs #25: Commit e28562a pushed by callesonne
1s bicategory-yoneda
bicategory-yoneda
1s
Merge branch 'master' of github.com:leanprover-community/mathlib4 int… Autolabel PRs #24: Commit 2da5362 pushed by callesonne
1s bicategory-yoneda
bicategory-yoneda
1s
Merge branch 'master' of github.com:leanprover-community/mathlib4 int… Autolabel PRs #23: Commit f3a262f pushed by callesonne
1s pseudo-eval
pseudo-eval
1s
Merge branch 'bicategory-functorcategory-pseudofunctor' into pseudo-eval Autolabel PRs #22: Commit 5274589 pushed by callesonne
2s pseudo-eval
pseudo-eval
2s
Merge branch 'master' of github.com:leanprover-community/mathlib4 int… Autolabel PRs #21: Commit e42d3d9 pushed by callesonne
1s fullsubbicat
fullsubbicat
1s
mk_all Autolabel PRs #20: Commit d46649d pushed by callesonne
1s bicategory-yoneda
bicategory-yoneda
1s
mk_all Autolabel PRs #19: Commit cb1e19b pushed by callesonne
1s bicategory-functorcategory-pseudofunctor
bicategory-functorcategory-pseudofunctor
1s
Merge branch 'fullsubbicat' into grpd_bicat Autolabel PRs #18: Commit f52b824 pushed by callesonne
1s grpd_bicat
grpd_bicat
1s
2-hom type alias Autolabel PRs #17: Commit 2a2ebef pushed by callesonne
1s sub-bicategory
sub-bicategory
1s
Merge branch 'master' into bicategory-opposite Autolabel PRs #16: Commit 3129a07 pushed by callesonne
1s bicategory-opposite
bicategory-opposite
1s
Merge branch 'pseudo-eval' into bicategory-yoneda-lemma Autolabel PRs #15: Commit 7e781e1 pushed by callesonne
1s bicategory-yoneda-lemma
bicategory-yoneda-lemma
1s
first commit Autolabel PRs #14: Commit f6be873 pushed by callesonne
1s bicat-evaluation
bicat-evaluation
1s
Merge branch 'master' into isStrict Autolabel PRs #13: Commit 2ad62fe pushed by callesonne
1s isStrict
isStrict
1s
Merge branch 'master' of github.com:leanprover-community/mathlib4 int… Autolabel PRs #12: Commit 8a304f5 pushed by callesonne
1s calle/pseudo-modification
calle/pseudo-modification
1s
progress Autolabel PRs #11: Commit abd87a0 pushed by callesonne
1s bicategory-product
bicategory-product
1s
Merge branch 'calle/pseudo-modification' into bicategory-functorcateg… Autolabel PRs #10: Commit 0a34c59 pushed by callesonne
1s bicategory-functorcategory-pseudofunctor
bicategory-functorcategory-pseudofunctor
1s
Merge branch 'bicategory-opposite' into bicategory-yoneda Autolabel PRs #9: Commit 13763c9 pushed by callesonne
1s bicategory-yoneda
bicategory-yoneda
1s
Merge branch 'master' of github.com:leanprover-community/mathlib4 int… Autolabel PRs #8: Commit 0a8d878 pushed by callesonne
1s sub-bicategory
sub-bicategory
1s
Merge branch 'master' of github.com:leanprover-community/mathlib4 int… Autolabel PRs #7: Commit 6e10b3e pushed by callesonne
Skipped bicategory-opposite
bicategory-opposite
Skipped
Merge branch 'master' of github.com:leanprover-community/mathlib4 int… Autolabel PRs #6: Commit ccbfc8b pushed by callesonne
2s calle/pseudo-modification
calle/pseudo-modification
2s