Skip to content

Actions: CBirkbeck/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
24 workflow runs
24 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(EisensteinSeries): q-expansion coefficients and non-vanishing for E_k Autolabel PRs #24: Pull request #1 opened by CBirkbeck
Skipped
Skipped
chore(CategoryTheory): dsimp the apply lemmas in the monoidal structu… Autolabel PRs #23: Commit cebb20d pushed by CBirkbeck
1s master
master
1s
wip need more credits Autolabel PRs #22: Commit 63bf4ff pushed by CBirkbeck
Skipped Nagell--Lutz
Nagell--Lutz
Skipped
chore: delete deprecated modules up to 20 August 2025 (#35562) Autolabel PRs #21: Commit 8dbc02d pushed by CBirkbeck
1s master
master
1s
save Autolabel PRs #20: Commit ce3b76d pushed by CBirkbeck
1s CB_Define_Delta_modular_form
CB_Define_Delta_modular_form
1s
rev updates Autolabel PRs #19: Commit 2635a7c pushed by CBirkbeck
2s CB_ModForm_qExpansion_lems
CB_ModForm_qExpansion_lems
2s
bump Autolabel PRs #18: Commit 4ead4d7 pushed by CBirkbeck
1s logDeriv_eta_E2
logDeriv_eta_E2
1s
fix build Autolabel PRs #17: Commit d158448 pushed by CBirkbeck
1s CB_ModForm_qExpansion_lems
CB_ModForm_qExpansion_lems
1s
Merge branch 'master' into CB_ModForm_qExpansion_lems Autolabel PRs #16: Commit 356be6e pushed by loefflerd
1s CB_ModForm_qExpansion_lems
CB_ModForm_qExpansion_lems
1s
merge fix Autolabel PRs #15: Commit 2effe21 pushed by CBirkbeck
1s Dedekind_eta_E2
Dedekind_eta_E2
1s
chore(Analysis/Distribution): split off derivatives from `SchwartzSpa… Autolabel PRs #14: Commit fadadaa pushed by CBirkbeck
Skipped master
master
Skipped
merge fix Autolabel PRs #13: Commit b8a02ec pushed by CBirkbeck
1s E2_transformation
E2_transformation
1s
Merge remote-tracking branch 'upstream/master' into CB_ModForm_qExpan… Autolabel PRs #12: Commit 8ea0a70 pushed by CBirkbeck
1s CB_ModForm_qExpansion_lems
CB_ModForm_qExpansion_lems
1s
feat(RingTheory): residue field of I[X] (#32809) Autolabel PRs #11: Commit 3e3a9f3 pushed by CBirkbeck
7s master
master
7s
save Autolabel PRs #10: Commit f853cbd pushed by CBirkbeck
1s E2_transformation
E2_transformation
1s
Merge remote-tracking branch 'upstream/master' into CB_define_E2 Autolabel PRs #9: Commit d44bcc8 pushed by CBirkbeck
1s CB_define_E2
CB_define_E2
1s
merge fix Autolabel PRs #8: Commit a0bc454 pushed by CBirkbeck
2s CB_Eisenstein_E2
CB_Eisenstein_E2
2s
Merge remote-tracking branch 'upstream/master' into Eisenstein_q_exp_… Autolabel PRs #7: Commit 5f853f3 pushed by CBirkbeck
1s Eisenstein_q_exp_identity
Eisenstein_q_exp_identity
1s
merge fix Autolabel PRs #6: Commit 8e3b46e pushed by CBirkbeck
1s Eisenstein_q_exp_identity
Eisenstein_q_exp_identity
1s
Merge remote-tracking branch 'origin/pnat_tsums' into riemmanZeta_mul… Autolabel PRs #5: Commit 1aa46a7 pushed by CBirkbeck
1s riemmanZeta_mul_two
riemmanZeta_mul_two
1s
update with to_additive Autolabel PRs #4: Commit 0c5b1bc pushed by CBirkbeck
1s pnat_tsums
pnat_tsums
1s
Merge remote-tracking branch 'origin/master' into CB_Eisenstein_E2 Autolabel PRs #3: Commit 9cea5b8 pushed by CBirkbeck
1s CB_Eisenstein_E2
CB_Eisenstein_E2
1s
Merge remote-tracking branch 'origin/master' into derivwithin_tsum Autolabel PRs #2: Commit 89ad73f pushed by CBirkbeck
2s derivwithin_tsum
derivwithin_tsum
2s
Merge remote-tracking branch 'origin/master' into CB_Eisenstein_E2 Autolabel PRs #1: Commit 23902bd pushed by CBirkbeck
2s CB_Eisenstein_E2
CB_Eisenstein_E2
2s
⚡