Skip to content

Actions: Rida-Hamadani/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
16 workflow runs
16 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 remote-tracking branch 'origin/master' into rida/getCycle Autolabel PRs #16: Commit b3fe384 pushed by Rida-Hamadani
1s rida/getCycle
rida/getCycle
1s
Merge branch 'master' into srg/diam_eq_two Autolabel PRs #15: Commit 3de2dbb pushed by Rida-Hamadani
Skipped srg/diam_eq_two
srg/diam_eq_two
Skipped
Merge branch 'master' into edist_eq_two Autolabel PRs #14: Commit c5cccd5 pushed by Rida-Hamadani
1s edist_eq_two
edist_eq_two
1s
Merge branch 'master' into Walk.take_take Autolabel PRs #13: Commit f018332 pushed by Rida-Hamadani
1s Walk.take_take
Walk.take_take
1s
Merge branch 'master' into IsCycle/isPath_dropLast Autolabel PRs #12: Commit 3f8296d pushed by Rida-Hamadani
1s IsCycle/isPath_dropLast
IsCycle/isPath_dropLast
1s
Autolabel PRs Autolabel PRs #11: by Rida-Hamadani
3s master
master
3s
perf(LinearAlgebra/RootSystem/GeckConstruction/Relations): get rid of… Autolabel PRs #10: Commit 02e8b79 pushed by Rida-Hamadani
1s master
master
1s
Merge branch 'master' into rida/getCycle Autolabel PRs #9: Commit f2f8f94 pushed by Rida-Hamadani
1s rida/getCycle
rida/getCycle
1s
Merge branch 'master' into rida/girthDiam Autolabel PRs #8: Commit 5b81bc6 pushed by Rida-Hamadani
1s rida/girthDiam
rida/girthDiam
1s
feat(Analysis/RieszLemma): convenience variant of Riesz lemma in RCLi… Autolabel PRs #7: Commit 982d40b pushed by Rida-Hamadani
1s master
master
1s
Merge branch 'master' into rida/takeIsPath Autolabel PRs #6: Commit 372fcbd pushed by Rida-Hamadani
1s rida/takeIsPath
rida/takeIsPath
1s
Merge branch 'master' into takeSupport Autolabel PRs #5: Commit 1401d3d pushed by Rida-Hamadani
1s takeSupport
takeSupport
1s
Merge branch 'master' into takeSupport Autolabel PRs #4: Commit b9b847d pushed by Rida-Hamadani
1s takeSupport
takeSupport
1s
chore: absorb steps into terminal grind (#32713) Autolabel PRs #3: Commit 798365a pushed by Rida-Hamadani
1s master
master
1s
Merge branch 'master' into takeSupport Autolabel PRs #2: Commit 1f7c8d6 pushed by Rida-Hamadani
2s takeSupport
takeSupport
2s
chore(Analyis/{NormedSpace/OperatorNorm → Normed/Operator}): move fil… Autolabel PRs #1: Commit a8caa65 pushed by Rida-Hamadani
1s master
master
1s