Skip to content

Actions: morrison-daniel/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(SimpleGraph): relate takeUntil/dropUntil to take/drop (#… Autolabel PRs #10: Commit 6b83b4d pushed by morrison-daniel
1s master
master
1s
convert to powersetCard Autolabel PRs #9: Commit bbb3aee pushed by morrison-daniel
1s exteriorPower-basis
exteriorPower-basis
1s
feat(Combinatorics/SimpleGraph/Hamiltonian): every walk is hamiltonia… Autolabel PRs #8: Commit bcade54 pushed by morrison-daniel
1s master
master
1s
Merge branch 'leanprover-community:master' into exteriorPower-basis Autolabel PRs #7: Commit fd72218 pushed by morrison-daniel
1s exteriorPower-basis
exteriorPower-basis
1s
chore(TangentCone): fix a name (#34224) Autolabel PRs #6: Commit 27167ef pushed by morrison-daniel
4s master
master
4s
feat(GroupTheory/OrderOfElement): Pi.orderOf_eq and its related and… Autolabel PRs #5: Commit ef704c5 pushed by morrison-daniel
2s master
master
2s
Merge branch 'master' into multilinear-basis Autolabel PRs #4: Commit 7959e3e pushed by morrison-daniel
1s multilinear-basis
multilinear-basis
1s
Merge branch 'master' into multilinear-basis Autolabel PRs #3: Commit 4eda5dc pushed by morrison-daniel
1s multilinear-basis
multilinear-basis
1s
Merge remote-tracking branch 'upstream/master' into multilinear-basis Autolabel PRs #2: Commit 0b8a0af pushed by morrison-daniel
Skipped multilinear-basis
multilinear-basis
Skipped
feat: linear equivalence of multilinear maps on Finsupp and DFinsupp;… Autolabel PRs #1: Commit 0e1772c pushed by morrison-daniel
1s multilinear-basis
multilinear-basis
1s