Skip to content

Actions: tb65536/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
21 workflow runs
21 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

new file Autolabel PRs #21: Commit dcefe36 pushed by tb65536
1s tb_mob2
tb_mob2
1s
Merge branch 'master' into tb_factors_unit Autolabel PRs #20: Commit ff1ef7f pushed by tb65536
1s tb_factors_unit
tb_factors_unit
1s
merge Autolabel PRs #19: Commit d004e15 pushed by tb65536
1s tb_selmer2
tb_selmer2
1s
Merge branch 'master' into tb_odlyzko2 Autolabel PRs #18: Commit 8090d64 pushed by tb65536
1s tb_odlyzko2
tb_odlyzko2
1s
Merge branch 'master' into tb_selmer2 Autolabel PRs #17: Commit ef99349 pushed by tb65536
7s tb_selmer2
tb_selmer2
7s
merge Autolabel PRs #16: Commit ec95b42 pushed by tb65536
1s tb_haar
tb_haar
1s
first pass Autolabel PRs #15: Commit c9cf052 pushed by tb65536
1s tb_exact
tb_exact
1s
Merge branch 'master' into tb_selmer2 Autolabel PRs #14: Commit 445b9fb pushed by tb65536
1s tb_selmer2
tb_selmer2
1s
second pass Autolabel PRs #13: Commit 496f4fc pushed by tb65536
Skipped tb_spl5
tb_spl5
Skipped
first pass Autolabel PRs #12: Commit 7d87c8d pushed by tb65536
1s tb_spl5
tb_spl5
1s
merge Autolabel PRs #11: Commit 2aa1a80 pushed by tb65536
1s tb_closure
tb_closure
1s
Merge branch 'master' into tb_odlyzko Autolabel PRs #10: Commit 92a6faa pushed by tb65536
Skipped tb_odlyzko
tb_odlyzko
Skipped
Merge branch 'master' into tb_corr Autolabel PRs #9: Commit 8ef6d47 pushed by tb65536
Skipped tb_corr
tb_corr
Skipped
merge Autolabel PRs #8: Commit 5bd5b99 pushed by tb65536
1s tb_refac
tb_refac
1s
Merge branch 'master' into tb_selmer2 Autolabel PRs #7: Commit c0dd1cd pushed by tb65536
1s tb_selmer2
tb_selmer2
1s
review Autolabel PRs #6: Commit 293ce43 pushed by tb65536
1s tb_galgrp3
tb_galgrp3
1s
Merge branch 'tb_closure' of https://github.com/tb65536/mathlib4 into… Autolabel PRs #5: Commit 23f8454 pushed by tb65536
1s tb_closure
tb_closure
1s
Merge branch 'master' into tb_selmer2 Autolabel PRs #4: Commit 20ff0e4 pushed by tb65536
1s tb_selmer2
tb_selmer2
1s
Merge branch 'master' into tb_zeta Autolabel PRs #3: Commit dfe7420 pushed by tb65536
1s tb_zeta
tb_zeta
1s
Merge branch 'tb_mem_fixedpoints' of https://github.com/tb65536/mathl… Autolabel PRs #2: Commit c676b6a pushed by tb65536
1s tb_mem_fixedpoints
tb_mem_fixedpoints
1s
Merge branch 'master' into tb_selmer Autolabel PRs #1: Commit b68b6a5 pushed by tb65536
1s tb_selmer
tb_selmer
1s