Skip to content

Actions: metakunt/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
17 workflow runs
17 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 introspective Autolabel PRs #17: Commit bfcb336 pushed by metakunt
2s introspective
introspective
2s
Merge branch 'master' into finspairwise Autolabel PRs #16: Commit 7c2aadc pushed by metakunt
1s finspairwise
finspairwise
1s
fix: revert #40181 (#40630) Autolabel PRs #15: Commit 24ef8a8 pushed by metakunt
9s master
master
9s
Merge branch 'master' into extract-primpow Autolabel PRs #14: Commit 2cdb7e4 pushed by metakunt
8s extract-primpow
extract-primpow
8s
Merge branch 'master' into introspective Autolabel PRs #13: Commit 4271f27 pushed by metakunt
1s introspective
introspective
1s
feat(Algebra/Homology): the injective model structure on bounded belo… Autolabel PRs #12: Commit 888dee7 pushed by metakunt
2s master
master
2s
Merge branch 'master' into aks-introspective Autolabel PRs #11: Commit 15beee3 pushed by metakunt
1s aks-introspective
aks-introspective
1s
Merge branch 'master' into aks-introspective Autolabel PRs #10: Commit 6143ba0 pushed by metakunt
1s aks-introspective
aks-introspective
1s
feat(Combinatorics): a clique has size at most the chromatic number (… Autolabel PRs #9: Commit 62a82d6 pushed by metakunt
2s master
master
2s
doc(README): linter -> linters (#33533) Autolabel PRs #8: Commit 0763a3b pushed by metakunt
1s master
master
1s
Merge branch 'master' into equiv_primitiveRoots_of_coprimePow Autolabel PRs #7: Commit caf679d pushed by metakunt
1s equiv_primitiveRoots_of_coprimePow
equiv_primitiveRoots_of_coprimePow
1s
Merge branch 'master' into fromRootMultiset Autolabel PRs #6: Commit bc695b7 pushed by metakunt
1s fromRootMultiset
fromRootMultiset
1s
feat(Analysis/Distribution): notation for lineDeriv (#32084) Autolabel PRs #5: Commit 9e76ccd pushed by metakunt
1s master
master
1s
Merge branch 'master' into equiv_primitiveRoots_of_coprimePow Autolabel PRs #4: Commit 41a1725 pushed by metakunt
1s equiv_primitiveRoots_of_coprimePow
equiv_primitiveRoots_of_coprimePow
1s
Merge branch 'master' into fromRootMultiset Autolabel PRs #3: Commit 0a68dd0 pushed by metakunt
Skipped fromRootMultiset
fromRootMultiset
Skipped
feat(Data/Matrix/Mul): mulVec and vecMul are injective w.r.t. the… Autolabel PRs #2: Commit afbe33c pushed by metakunt
Skipped master
master
Skipped
Merge branch 'leanprover-community:master' into digits_getD Autolabel PRs #1: Commit f5d9791 pushed by metakunt
1s digits_getD
digits_getD
1s