Skip to content

Actions: staroperator/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
29 workflow runs
29 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
reprove Autolabel PRs #29: Commit e969f2c pushed by staroperator
1s delta_system_lemma
delta_system_lemma
1s
apply suggestions Autolabel PRs #28: Commit 68afb55 pushed by staroperator
2s order_ideals
order_ideals
2s
apply suggestion Autolabel PRs #27: Commit 20495d0 pushed by staroperator
1s finite_distrib
finite_distrib
1s
Merge branch 'master' into set_uncountable Autolabel PRs #26: Commit 67489f0 pushed by staroperator
1s set_uncountable
set_uncountable
1s
feat(Topology/Convenient): X-continuous maps (#37792) Autolabel PRs #25: Commit 7c260e7 pushed by staroperator
1s master
master
1s
apply suggestions Autolabel PRs #24: Commit 49b29f1 pushed by staroperator
2s infinite_pigeonhole
infinite_pigeonhole
2s
reprove Autolabel PRs #23: Commit 5241adf pushed by staroperator
1s delta_system_lemma
delta_system_lemma
1s
chore(scripts): update nolints.json (#35618) Autolabel PRs #22: Commit 35029c2 pushed by staroperator
1s master
master
1s
apply suggestions Autolabel PRs #21: Commit 304b8f5 pushed by staroperator
2s infinite_pigeonhole
infinite_pigeonhole
2s
chore: improve notation in log counting function of Value Distributio… Autolabel PRs #20: Commit eccf962 pushed by staroperator
1s master
master
1s
generalize Autolabel PRs #19: Commit 7542801 pushed by staroperator
1s delta_system_lemma
delta_system_lemma
1s
unsimp Autolabel PRs #18: Commit b995b1f pushed by staroperator
1s set_uncountable
set_uncountable
1s
update Autolabel PRs #17: Commit 9262e11 pushed by staroperator
1s fun_prop_forall
fun_prop_forall
1s
fix Autolabel PRs #16: Commit a0d10e0 pushed by staroperator
1s zfset_omega
zfset_omega
1s
apply suggestion Autolabel PRs #15: Commit 1bcc29b pushed by staroperator
1s semilinear
semilinear
1s
feat(Algebra/Order): multiplicative versions of lemmas on (pre)images… Autolabel PRs #14: Commit f821781 pushed by staroperator
1s master
master
1s
Merge branch 'master' into nat_closure_one Autolabel PRs #13: Commit 20db0e2 pushed by staroperator
1s nat_closure_one
nat_closure_one
1s
Merge branch 'master' into fun_prop_forall Autolabel PRs #12: Commit 91ec9f6 pushed by staroperator
1s fun_prop_forall
fun_prop_forall
1s
feat(Topology/Separation): completely normal iff hereditarily normal … Autolabel PRs #11: Commit 19e41d0 pushed by staroperator
Skipped master
master
Skipped
feat(Algebra/Homology): K-projective cochain complexes (#32741) Autolabel PRs #10: Commit 95b192f pushed by staroperator
1s master
master
1s
update Autolabel PRs #9: Commit c3568db pushed by staroperator
1s card_V
card_V
1s
update Autolabel PRs #8: Commit e3b8f1f pushed by staroperator
1s semilinear
semilinear
1s
update Autolabel PRs #7: Commit 39480c6 pushed by staroperator
1s semilinear_nat
semilinear_nat
1s
reprove Autolabel PRs #6: Commit 6470701 pushed by staroperator
1s semilinear_nat
semilinear_nat
1s
update Autolabel PRs #5: Commit b37e444 pushed by staroperator
1s zfset_card
zfset_card
1s