Skip to content

Actions: themathqueen/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
57 workflow runs
57 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 frobenius_algebra Autolabel PRs #57: Commit 0243e71 pushed by themathqueen
1s frobenius_algebra
frobenius_algebra
1s
Merge branch 'master' into refactor_algEquiv Autolabel PRs #56: Commit e82ca60 pushed by themathqueen
1s refactor_algEquiv
refactor_algEquiv
1s
ci: add splice-bot action (#33979) Autolabel PRs #55: Commit ac6e242 pushed by themathqueen
1s master
master
1s
Merge branch 'master' into tracePositiveLinearMap Autolabel PRs #54: Commit 93f0958 pushed by themathqueen
2s tracePositiveLinearMap
tracePositiveLinearMap
2s
Merge branch 'master' into adjMatrix_api Autolabel PRs #53: Commit 77eb2c9 pushed by themathqueen
1s adjMatrix_api
adjMatrix_api
1s
Merge branch 'master' into matrixGNS Autolabel PRs #52: Commit 35d9875 pushed by themathqueen
1s matrixGNS
matrixGNS
1s
Merge branch 'master' into euclideanSpace_qg Autolabel PRs #51: Commit 0a0eac8 pushed by themathqueen
1s euclideanSpace_qg
euclideanSpace_qg
1s
Merge branch 'master' into clm_intrinsicStar Autolabel PRs #50: Commit f0ee407 pushed by themathqueen
2s clm_intrinsicStar
clm_intrinsicStar
2s
Merge branch 'master' into convIntrinsicStarRing Autolabel PRs #49: Commit a8e9f63 pushed by themathqueen
1s convIntrinsicStarRing
convIntrinsicStarRing
1s
Merge branch 'master' into euclideanSpace_qg Autolabel PRs #48: Commit 34db7d9 pushed by themathqueen
1s euclideanSpace_qg
euclideanSpace_qg
1s
WithConv matrix Autolabel PRs #47: Commit 189b14d pushed by themathqueen
Skipped withConv_matrix
withConv_matrix
Skipped
ci: adapt auto-merge check for GitHub apps bots (#34980) Autolabel PRs #46: Commit 26e91fa pushed by themathqueen
1s master
master
1s
Merge branch 'master' into adjMatrix_api Autolabel PRs #45: Commit 82079cb pushed by themathqueen
2s adjMatrix_api
adjMatrix_api
2s
feat: use more fun_prop/measurability auto-parameters (#34577) Autolabel PRs #44: Commit 046fc9b pushed by themathqueen
1s master
master
1s
Merge branch 'master' into gen_isCentral_end_cont Autolabel PRs #43: Commit 2d01bf8 pushed by themathqueen
2s gen_isCentral_end_cont
gen_isCentral_end_cont
2s
Merge branch 'master' into euclideanSpace_qg Autolabel PRs #42: Commit c7e1330 pushed by themathqueen
1s euclideanSpace_qg
euclideanSpace_qg
1s
squash Autolabel PRs #41: Commit e4ed67c pushed by themathqueen
1s euclideanSpace_qg
euclideanSpace_qg
1s
Merge branch 'master' into fd_ips_coalgebra Autolabel PRs #40: Commit 0128771 pushed by themathqueen
1s fd_ips_coalgebra
fd_ips_coalgebra
1s
Merge branch 'master' into clm_intrinsicStar Autolabel PRs #39: Commit beede42 pushed by themathqueen
2s clm_intrinsicStar
clm_intrinsicStar
2s
Merge branch 'rankOne' into more_rankOne_api Autolabel PRs #38: Commit a071b26 pushed by themathqueen
1s more_rankOne_api
more_rankOne_api
1s
Merge branch 'master' into gen_field_basic Autolabel PRs #37: Commit f720015 pushed by themathqueen
1s gen_field_basic
gen_field_basic
1s
chore(positivity): make tactic lemmas public (#33593) Autolabel PRs #36: Commit 05f342b pushed by themathqueen
1s master
master
1s
Merge branch 'master' into cleanup_mulLeft Autolabel PRs #35: Commit c65cc9c pushed by themathqueen
1s cleanup_mulLeft
cleanup_mulLeft
1s
Merge branch 'master' into refactor_normalize Autolabel PRs #34: Commit 16398ae pushed by themathqueen
1s refactor_normalize
refactor_normalize
1s
Merge branch 'master' into rankOne Autolabel PRs #33: Commit 17b1a85 pushed by themathqueen
1s rankOne
rankOne
1s