Skip to content

Actions: Bergschaf/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
feat(FinitelyPresentedGroup): Add Multiplicative ℤ instance (#36873) Autolabel PRs #7: Commit 946913e pushed by Bergschaf
1s master
master
1s
Merge branch 'master' into Open_Sublocales Autolabel PRs #6: Commit 98214f0 pushed by Bergschaf
1s Open_Sublocales
Open_Sublocales
1s
feat(RingTheory): Teichmuller map (#30989) Autolabel PRs #5: Commit 80f4a5f pushed by Bergschaf
2s master
master
2s
feat: approximate continuous functions by smooth functions (#31278) Autolabel PRs #4: Commit f302095 pushed by Bergschaf
1s master
master
1s
commit Autolabel PRs #3: Commit b3e243f pushed by Bergschaf
6s F_2_test
F_2_test
6s
mrege Autolabel PRs #2: Commit 3a96d68 pushed by Bergschaf
1s Sublocale_dev
Sublocale_dev
1s
Please enter a commit message to explain why this merge is necessary, Autolabel PRs #1: Commit c1829be pushed by Bergschaf
1s Finpartition
Finpartition
1s