Skip to content

Actions: loefflerd/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
40 workflow runs
40 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(NumberTheory/ModularForms): Parseval for q-expansions and mean square bound for any period (suggestions for #43558) Autolabel PRs #44: Pull request #1 opened by CBirkbeck
1s
1s
Merge remote-tracking branch 'upstream/master' into DL_measure_3 Autolabel PRs #43: Commit 5792f93 pushed by loefflerd
9s DL_measure_3
DL_measure_3
9s
fix misc breakage Autolabel PRs #42: Commit 19a8c8d pushed by loefflerd
8s DL_modform_Lfcn
DL_modform_Lfcn
8s
review changes Autolabel PRs #41: Commit 2c282f9 pushed by loefflerd
1s DL_measure_2
DL_measure_2
1s
docs: norm_num imports for primality testing Autolabel PRs #40: Commit ad50671 pushed by loefflerd
1s DL_norm_num_prime
DL_norm_num_prime
1s
use IsFooApply typeclasses Autolabel PRs #39: Commit 6b492f4 pushed by loefflerd
2s DL_measure_2
DL_measure_2
2s
remove Group.lean Autolabel PRs #38: Commit 50d424a pushed by loefflerd
2s DL_measure_2
DL_measure_2
2s
Merge remote-tracking branch 'upstream/master' into DL_modularGroup_s… Autolabel PRs #37: Commit 32b7db2 pushed by loefflerd
1s DL_modularGroup_stabilizers
DL_modularGroup_stabilizers
1s
Merge remote-tracking branch 'upstream/master' into DL_measure_2 Autolabel PRs #36: Commit 9e367d2 pushed by loefflerd
1s DL_measure_2
DL_measure_2
1s
Merge remote-tracking branch 'upstream/master' into DL_modform_Lfcn Autolabel PRs #35: Commit eeff75f pushed by loefflerd
1s DL_modform_Lfcn
DL_modform_Lfcn
1s
Merge remote-tracking branch 'upstream/master' into DL_modularGroup_s… Autolabel PRs #34: Commit fbc0203 pushed by loefflerd
1s DL_modularGroup_stabilizers
DL_modularGroup_stabilizers
1s
Merge remote-tracking branch 'upstream/master' into DL_modularGroup_s… Autolabel PRs #33: Commit ed6f7c0 pushed by loefflerd
1s DL_modularGroup_stabilizers
DL_modularGroup_stabilizers
1s
Merge remote-tracking branch 'upstream/master' into DL_measurePreserving Autolabel PRs #32: Commit c1e3b3b pushed by loefflerd
2s DL_measurePreserving
DL_measurePreserving
2s
Merge branch 'DL_radical' into DL_sylvester Autolabel PRs #31: Commit ab14f68 pushed by loefflerd
1s DL_sylvester
DL_sylvester
1s
Merge remote-tracking branch 'upstream/master' into DL_radical Autolabel PRs #30: Commit d11d915 pushed by loefflerd
1s DL_radical
DL_radical
1s
feat(NumberTheory/ModularForms): remove unnecessary instance arg Autolabel PRs #29: Commit f7406fe pushed by loefflerd
1s DL_width_fix
DL_width_fix
1s
Merge branch 'master' into DL_radical Autolabel PRs #28: Commit 851385a pushed by loefflerd
1s DL_radical
DL_radical
1s
Merge branch 'master' into DL_sylvester Autolabel PRs #27: Commit ce42610 pushed by loefflerd
1s DL_sylvester
DL_sylvester
1s
Merge remote-tracking branch 'upstream/master' into DL_modularGroup_s… Autolabel PRs #26: Commit 5cf072b pushed by loefflerd
2s DL_modularGroup_stabilizers
DL_modularGroup_stabilizers
2s
Merge remote-tracking branch 'upstream/master' into DL_measurePreserving Autolabel PRs #25: Commit 8d7ccc2 pushed by loefflerd
1s DL_measurePreserving
DL_measurePreserving
1s
Merge branch 'DL_radical' into DL_sylvester Autolabel PRs #24: Commit 139a1fe pushed by loefflerd
2s DL_sylvester
DL_sylvester
2s
Merge remote-tracking branch 'upstream/master' into DL_radical Autolabel PRs #23: Commit 7ff4abe pushed by loefflerd
1s DL_radical
DL_radical
1s
Merge branch 'halfplane-subtype' into DL_measurePreserving Autolabel PRs #22: Commit 208af80 pushed by urkud
Skipped DL_measurePreserving
DL_measurePreserving
Skipped
Merge remote-tracking branch 'upstream/master' into DL_wpRelation2 Autolabel PRs #21: Commit 75fdd76 pushed by loefflerd
1s DL_wpRelation2
DL_wpRelation2
1s
Merge branch 'master' into DL_modularGroup_stabilizers Autolabel PRs #20: Commit 1e7e7af pushed by loefflerd
1s DL_modularGroup_stabilizers
DL_modularGroup_stabilizers
1s