Skip to content

Actions: staroperator/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
34 workflow runs
34 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
update doc Autolabel PRs #34: Commit 97340e1 pushed by staroperator
1s order_pfilter
order_pfilter
1s
ci(shake.yaml): do not shake Archive and Counterexamples yet (#39314) Autolabel PRs #33: Commit 21b745f pushed by staroperator
10s master
master
10s
fix again Autolabel PRs #32: Commit df89ac9 pushed by staroperator
2s order_pfilter
order_pfilter
2s
chore: remove superfluous opens (#38462) Autolabel PRs #31: Commit ca31f02 pushed by staroperator
1s master
master
1s
fix Autolabel PRs #30: Commit 000e0df pushed by staroperator
9s order_pfilter
order_pfilter
9s
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