Skip to content

Actions: jonasvanderschaaf/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
7 workflow runs
7 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' of github.com:leanprover-community/mathlib4 int… Autolabel PRs #7: Commit 9092775 pushed by dagurtomas
1s yoneda_coproducts
yoneda_coproducts
1s
chore(Order/Shrink): use to_dual (#34190) Autolabel PRs #6: Commit f629ab0 pushed by jonasvanderschaaf
2s master
master
2s
Merge branch 'master' into yoneda_coproducts Autolabel PRs #5: Commit 400d4d4 pushed by jonasvanderschaaf
2s yoneda_coproducts
yoneda_coproducts
2s
Merge branch 'master' into typespace Autolabel PRs #4: Commit 7b742e6 pushed by jonasvanderschaaf
1s typespace
typespace
1s
Merge branch 'master' into typespace Autolabel PRs #3: Commit 731068c pushed by jonasvanderschaaf
1s typespace
typespace
1s
perf: revert #32623 for performance regression (#32690) Autolabel PRs #2: Commit 3fc5898 pushed by jonasvanderschaaf
1s master
master
1s
Merge branch 'leanprover-community:master' into master Autolabel PRs #1: Commit ded2e24 pushed by jonasvanderschaaf
1s master
master
1s