Skip to content

Actions: linesthatinterlace/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
28 workflow runs
28 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
feat(Algebra): add two lemmas about submodule smul (#35646) Autolabel PRs #28: Commit a182019 pushed by linesthatinterlace
1s master
master
1s
Update lakefile Autolabel PRs #27: Commit 4dd7551 pushed by linesthatinterlace
1s coeSortList
coeSortList
1s
Draft Autolabel PRs #26: Commit fccdce3 pushed by linesthatinterlace
1s coeSortList
coeSortList
1s
chore(Order/Defs/Unbundled): deprecate IsTotal in favor of core's `… Autolabel PRs #25: Commit edec8f5 pushed by linesthatinterlace
1s master
master
1s
Update mathlib Autolabel PRs #24: Commit 7d48a66 pushed by linesthatinterlace
1s list_reverseRecOn_update
list_reverseRecOn_update
1s
Add to+dual adaptions Autolabel PRs #23: Commit af824f2 pushed by linesthatinterlace
1s order_reorder
order_reorder
1s
chore(CategoryTheory/Localization): remove use of erw in `equiv_sma… Autolabel PRs #22: Commit 12128c4 pushed by linesthatinterlace
1s master
master
1s
Merge branch 'master' into sorted_deprecation Autolabel PRs #21: Commit 5b1fc7a pushed by linesthatinterlace
1s sorted_deprecation
sorted_deprecation
1s
Merge branch 'order_reorder' into order_abbrev_def Autolabel PRs #20: Commit fc02f7c pushed by linesthatinterlace
1s order_abbrev_def
order_abbrev_def
1s
Merge branch 'master' into find_update Autolabel PRs #19: Commit fc6b6a2 pushed by linesthatinterlace
2s find_update
find_update
2s
Fix Autolabel PRs #18: Commit 9293dc1 pushed by linesthatinterlace
1s order_reorder
order_reorder
1s
Merge branch 'master' into sorted_deprecation Autolabel PRs #17: Commit 23a2c4b pushed by linesthatinterlace
1s sorted_deprecation
sorted_deprecation
1s
chore(NumberTheory/LegendreSymbol/QuadraticChar): golf `FiniteField.i… Autolabel PRs #16: Commit df2b667 pushed by linesthatinterlace
1s master
master
1s
Merge branch 'master' into linesthatinterlace/lift_hom Autolabel PRs #15: Commit 9a269dc pushed by linesthatinterlace
2s linesthatinterlace/lift_hom
linesthatinterlace/lift_hom
2s
Merge branch 'master' into funlike_id_comp Autolabel PRs #14: Commit 0f09e11 pushed by linesthatinterlace
1s funlike_id_comp
funlike_id_comp
1s
Merge branch 'master' into orderembedding_refactor Autolabel PRs #13: Commit 5e2a0e6 pushed by linesthatinterlace
1s orderembedding_refactor
orderembedding_refactor
1s
chore(Topology/Connected): golf `IsPathConnected.exists_path_through_… Autolabel PRs #12: Commit 157c81f pushed by linesthatinterlace
1s master
master
1s
Refactors Autolabel PRs #11: Commit 2e9e74c pushed by linesthatinterlace
1s finiteperm
finiteperm
1s
Refactors Autolabel PRs #10: Commit 2e9e74c pushed by linesthatinterlace
11s linesthatinterlace/finiteperm
linesthatinterlace/finiteperm
11s
Merge remote-tracking branch 'origin/linesthatinterlace/list_vector_e… Autolabel PRs #9: Commit 780ba2a pushed by linesthatinterlace
9s list_vector_equiv
list_vector_equiv
9s
Merge branch 'master' into linesthatinterlace/units_prod Autolabel PRs #8: Commit 837017d pushed by linesthatinterlace
1s units_prod
units_prod
1s
Merge branch 'master' into linesthatinterlace/lift_hom Autolabel PRs #7: Commit 7c42fdc pushed by linesthatinterlace
1s lift_hom
lift_hom
1s
Merge branch 'master' into linesthatinterlace/lift_hom_dependent Autolabel PRs #6: Commit bf96175 pushed by linesthatinterlace
Skipped lift_hom_dependent
lift_hom_dependent
Skipped
Merge branch 'master' into linesthatinterlace/lift_hom_high_level Autolabel PRs #5: Commit ddb97d4 pushed by linesthatinterlace
1s lift_hom_high_level
lift_hom_high_level
1s
Merge branch 'master' into linesthatinterlace/lift_hom_high_level Autolabel PRs #4: Commit ddb97d4 pushed by linesthatinterlace
1s linesthatinterlace/lift_hom_high_level
linesthatinterlace/lift_hom_high_level
1s