Skip to content

Actions: tb65536/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
75 workflow runs
75 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 Autolabel PRs #75: Commit 5a8650b pushed by tb65536
8s tb_conjact
tb_conjact
8s
Merge branch 'master' into tb_fin28 Autolabel PRs #74: Commit b405855 pushed by tb65536
1s tb_fin28
tb_fin28
1s
tmp Autolabel PRs #73: Commit 00486e1 pushed by tb65536
1s tb_affref
tb_affref
1s
merge Autolabel PRs #72: Commit ec3f75c pushed by tb65536
1s tb_selmer2
tb_selmer2
1s
move iff lemmas out of namespace Autolabel PRs #71: Commit 00bc8e5 pushed by tb65536
1s tb_ramram2
tb_ramram2
1s
Merge branch 'master' into tb_ramref948 Autolabel PRs #70: Commit a056596 pushed by tb65536
1s tb_ramref948
tb_ramref948
1s
temp Autolabel PRs #69: Commit 27150da pushed by tb65536
1s tb_49289
tb_49289
1s
attempt Autolabel PRs #68: Commit a9802c2 pushed by tb65536
1s tb_4t08
tb_4t08
1s
merge Autolabel PRs #67: Commit 5829ebc pushed by tb65536
10s tb_selmer2
tb_selmer2
10s
merge Autolabel PRs #66: Commit f0732d3 pushed by tb65536
1s tb_ramram
tb_ramram
1s
temp Autolabel PRs #65: Commit 45dad46 pushed by tb65536
10s tb_simplncard
tb_simplncard
10s
merge Autolabel PRs #64: Commit 68210a4 pushed by tb65536
2s tb_ref9484
tb_ref9484
2s
merge Autolabel PRs #63: Commit 5181b64 pushed by tb65536
2s tb_ram3
tb_ram3
2s
fix Autolabel PRs #62: Commit 9a8635f pushed by tb65536
1s tb_inertsmul
tb_inertsmul
1s
Merge branch 'master' into tb_raminert48 Autolabel PRs #61: Commit 808fa2a pushed by tb65536
1s tb_raminert48
tb_raminert48
1s
Merge branch 'master' into tb_ref9484 Autolabel PRs #60: Commit cff08e9 pushed by tb65536
1s tb_ref9484
tb_ref9484
1s
add Autolabel PRs #59: Commit b76060b pushed by tb65536
1s tb_stabhom84
tb_stabhom84
1s
merge Autolabel PRs #58: Commit 33ac51f pushed by tb65536
1s tb_ref9484
tb_ref9484
1s
better Autolabel PRs #57: Commit 5158a26 pushed by tb65536
3s tb_rampos3
tb_rampos3
3s
Merge branch 'master' into tb_inertsmul Autolabel PRs #56: Commit 3773310 pushed by tb65536
1s tb_inertsmul
tb_inertsmul
1s
add Autolabel PRs #55: Commit af9c18c pushed by tb65536
2s tb_kercomp
tb_kercomp
2s
Merge branch 'master' into tb_fin28 Autolabel PRs #54: Commit 308297c pushed by tb65536
7s tb_fin28
tb_fin28
7s
merge Autolabel PRs #53: Commit ee4fdb3 pushed by tb65536
2s tb_e
tb_e
2s
Merge branch 'master' into tb_art Autolabel PRs #52: Commit e4c2850 pushed by tb65536
1s tb_art
tb_art
1s
review Autolabel PRs #51: Commit 2d3df33 pushed by tb65536
2s tb_roots_comp_neg
tb_roots_comp_neg
2s