Skip to content

Actions: martinwintermath/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
22 workflow runs
22 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 branch 'master' into submodule-dual-integration-2 Autolabel PRs #22: Commit ecb8a9b pushed by martinwintermath
1s submodule-dual-integration-2
submodule-dual-integration-2
1s
chore(RepresentationTheory): remove some set_option backwards (#41057) Autolabel PRs #21: Commit aaedc74 pushed by martinwintermath
2s master
master
2s
Merge branch 'master' into setLike-concrete Autolabel PRs #20: Commit 57bf23b pushed by martinwintermath
9s setLike-concrete
setLike-concrete
9s
refactor(RingTheory/Localization/FractionRing): remove bottom ring an… Autolabel PRs #19: Commit fbfd7f5 pushed by martinwintermath
Skipped master
master
Skipped
Merge branch 'master' into submodule-dual-integration Autolabel PRs #18: Commit 5d44f2d pushed by martinwintermath
1s submodule-dual-integration
submodule-dual-integration
1s
Merge branch 'master' into affineSubspace-improve Autolabel PRs #17: Commit 3ad9359 pushed by martinwintermath
2s affineSubspace-improve
affineSubspace-improve
2s
Merge branch 'master' into delete-isOrtho Autolabel PRs #16: Commit 3e9eed5 pushed by martinwintermath
1s delete-isOrtho
delete-isOrtho
1s
Merge branch 'master' into cone-dual-set-to-submodule Autolabel PRs #15: Commit 04d1d85 pushed by martinwintermath
1s cone-dual-set-to-submodule
cone-dual-set-to-submodule
1s
Merge branch 'master' into cone-plus-minus-linSpan Autolabel PRs #14: Commit b52ec57 pushed by martinwintermath
1s cone-plus-minus-linSpan
cone-plus-minus-linSpan
1s
Merge branch 'master' into pointed-minor Autolabel PRs #13: Commit 1fb6f0e pushed by martinwintermath
1s pointed-minor
pointed-minor
1s
feat: elementary criterion for finprod to be non-zero (#38985) Autolabel PRs #12: Commit f818ba3 pushed by martinwintermath
1s master
master
1s
Merge branch 'master' into submodule-dual Autolabel PRs #11: Commit 02b999e pushed by martinwintermath
Skipped submodule-dual
submodule-dual
Skipped
Merge branch 'master' into orthogonal-bilin Autolabel PRs #10: Commit 0f8ed03 pushed by martinwintermath
1s orthogonal-bilin
orthogonal-bilin
1s
Merge branch 'master' into FGDual-cone Autolabel PRs #9: Commit 8b08e81 pushed by martinwintermath
Skipped FGDual-cone
FGDual-cone
Skipped
Merge branch 'master' into bilinear-separating Autolabel PRs #8: Commit 9edd65d pushed by martinwintermath
2s bilinear-separating
bilinear-separating
2s
feat(NumberTheory/FunctionField): add instances on FqtInfty (#35720) Autolabel PRs #7: Commit 8f787c6 pushed by martinwintermath
2s master
master
2s
Created DualFinite.lean Autolabel PRs #6: Commit 3465109 pushed by martinwintermath
1s FGDual-cone
FGDual-cone
1s
Merge branch 'master' into CoFG-basic Autolabel PRs #5: Commit e9aa5cc pushed by martinwintermath
Skipped CoFG-basic
CoFG-basic
Skipped
fix statement of trivial lemma Autolabel PRs #4: Commit a6f512d pushed by martinwintermath
1s submodule-restrictScalars-finite-2
submodule-restrictScalars-finite-2
1s
chore(Order/Cover): use to_dual (#34880) Autolabel PRs #3: Commit 23f9fd8 pushed by martinwintermath
2s master
master
2s
Merge branch 'master' into order-complemented-disj-codisj-isCompl Autolabel PRs #2: Commit 55cd579 pushed by martinwintermath
1s order-complemented-disj-codisj-isCompl
order-complemented-disj-codisj-isCompl
1s
feat: prove Prod.wellFoundedLT directly (#33771) Autolabel PRs #1: Commit 21cf59b pushed by martinwintermath
1s master
master
1s