Skip to content

Actions: PrParadoxy/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
12 workflow runs
12 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
chore: use inferInstanceAs in analysis (#37272) Autolabel PRs #12: Commit 34f85c5 pushed by PrParadoxy
1s master
master
1s
feat(Algebra/Lie/BaseChange): map of base-changed Lie algebras (#34865) Autolabel PRs #11: Commit 4afbe26 pushed by PrParadoxy
1s master
master
1s
started Mathlib/WIP.lean to collect results Autolabel PRs #10: Commit 8282f21 pushed by goliath-klein
1s tp-dual-bilinear
tp-dual-bilinear
1s
Merge branch 'master' into pi-set-2 Autolabel PRs #9: Commit 7422940 pushed by goliath-klein
1s pi-set-2
pi-set-2
1s
remove Sigma.apply_curry_update Autolabel PRs #8: Commit e3fcc34 pushed by goliath-klein
1s pi-set-2
pi-set-2
1s
tmulBipartitionEquiv generalized Autolabel PRs #7: Commit 35c923e pushed by PrParadoxy
1s pi-set-3
pi-set-3
1s
feat: IsStrictOrderedRing (Lex R⟦Γ⟧) (#33398) Autolabel PRs #6: Commit c3a9c0b pushed by PrParadoxy
Skipped master
master
Skipped
Merge branch 'master' of https://github.com/leanprover-community/math… Autolabel PRs #5: Commit 5e90d33 pushed by PrParadoxy
1s restricted
restricted
1s
... Autolabel PRs #4: Commit 341a30f pushed by goliath-klein
1s phelps
phelps
1s
that's test #1 Autolabel PRs #3: Pull request #1 opened by goliath-klein
1s
1s
chore(CategoryTheory/ConcreteCategory): remove use of erw (#32519) Autolabel PRs #2: Commit 4a435b5 pushed by PrParadoxy
1s master
master
1s
Merge branch 'master' into test Autolabel PRs #1: Commit 5331498 pushed by goliath-klein
1s test
test
1s