Skip to content

Actions: michaellee94/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
19 workflow runs
19 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 michaellee94/overPullback_iff Autolabel PRs #19: Commit 52304dd pushed by michaellee94
1s michaellee94/overPullback_iff
michaellee94/overPullback_iff
1s
Merge branch 'master' into michaellee94/orientation Autolabel PRs #18: Commit f9aaab3 pushed by michaellee94
1s michaellee94/orientation
michaellee94/orientation
1s
feat(List): permutations preserve maximum (#35135) Autolabel PRs #17: Commit 0f34c95 pushed by michaellee94
1s master
master
1s
prove orientability for the interior of the closed interval Autolabel PRs #16: Commit 47b7119 pushed by michaellee94
Skipped michaellee94/orientation
michaellee94/orientation
Skipped
rebase on master Autolabel PRs #15: Commit 012cea2 pushed by michaellee94
1s michaellee94/orientation
michaellee94/orientation
1s
prove orientability for the interior of the closed interval Autolabel PRs #14: Commit 47b7119 pushed by michaellee94
1s michaellee94/orientation
michaellee94/orientation
1s
Merge branch 'master' into michaellee94/graph_isManifold Autolabel PRs #13: Commit 0bd6cb0 pushed by michaellee94
2s michaellee94/graph_isManifold
michaellee94/graph_isManifold
2s
first pass at TODOs Autolabel PRs #12: Commit e6db7de pushed by michaellee94
2s michaellee94/localframes
michaellee94/localframes
2s
first pass at TODOs Autolabel PRs #11: Commit 3a3a190 pushed by michaellee94
1s michaellee94/productrule-liebracket
michaellee94/productrule-liebracket
1s
merge master into branch; fix merge conflict Autolabel PRs #10: Commit a309f88 pushed by michaellee94
2s michaellee94/localframes
michaellee94/localframes
2s
Add foo; TODO find a good name! Autolabel PRs #9: Commit a09077b pushed by michaellee94
1s michaellee94/localframes
michaellee94/localframes
1s
merge winstonyin/organise_ODE into branch Autolabel PRs #8: Commit db62b92 pushed by michaellee94
1s michaellee94/maximal_soln
michaellee94/maximal_soln
1s
feat(SimpleGraph): alternative characterizations of cycles/hamiltonia… Autolabel PRs #7: Commit 1b7f970 pushed by michaellee94
1s master
master
1s
merge master into branch Autolabel PRs #6: Commit 63b47b1 pushed by michaellee94
1s michaellee94/maximal_soln
michaellee94/maximal_soln
1s
refactor(Analysis/Calculus): split long file ContDiff/Basic.lean (#… Autolabel PRs #5: Commit 33a2f73 pushed by michaellee94
8s master
master
8s
address golfs from PatrickMassot Autolabel PRs #4: Commit b44160b pushed by michaellee94
1s michaellee94/smooth_section
michaellee94/smooth_section
1s
Merge branch 'master' into michaellee94/maximal_soln Autolabel PRs #3: Commit 4453556 pushed by michaellee94
1s michaellee94/maximal_soln
michaellee94/maximal_soln
1s
chore(Cache): make cache attempt resoluion of the repo using pr info … Autolabel PRs #2: Commit 325f8d7 pushed by michaellee94
1s master
master
1s
feat: add Geck's final root system lemma for implementing Lusztig con… Autolabel PRs #1: Commit 0da9417 pushed by michaellee94
1s master
master
1s