Skip to content

Actions: themathqueen/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
65 workflow runs
65 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 #70: Commit 9a86e3e pushed by themathqueen
1s frobenius_algebra
frobenius_algebra
1s
Merge branch 'master' into extreme_unital Autolabel PRs #69: Commit fa8915a pushed by themathqueen
Skipped extreme_unital
extreme_unital
Skipped
Merge branch 'master' into tensorProduct_mkL Autolabel PRs #68: Commit c72df50 pushed by themathqueen
1s tensorProduct_mkL
tensorProduct_mkL
1s
Merge branch 'master' into UniformSpace.Completion.api Autolabel PRs #67: Commit c4aeea3 pushed by themathqueen
1s UniformSpace.Completion.api
UniformSpace.Completion.api
1s
fix: remove [IsMinimal R W] from HasSplitMultiplicativeReduction (#41… Autolabel PRs #66: Commit db5c6a6 pushed by themathqueen
1s master
master
1s
Merge branch 'master' into fix_defeqabuse_meromorphicOrder Autolabel PRs #65: Commit 6360034 pushed by themathqueen
1s fix_defeqabuse_meromorphicOrder
fix_defeqabuse_meromorphicOrder
1s
Merge branch 'master' into add_labels_neBot Autolabel PRs #64: Commit f2ca345 pushed by themathqueen
8s add_labels_neBot
add_labels_neBot
8s
Merge branch 'master' into UniformSpace.Completion.api Autolabel PRs #63: Commit 0ca79fb pushed by themathqueen
6s UniformSpace.Completion.api
UniformSpace.Completion.api
6s
Merge branch 'master' into refactor_orthoProj Autolabel PRs #62: Commit b72f576 pushed by themathqueen
1s refactor_orthoProj
refactor_orthoProj
1s
Merge branch 'master' into rename_orthoProj Autolabel PRs #61: Commit 14ed671 pushed by themathqueen
1s rename_orthoProj
rename_orthoProj
1s
Merge branch 'master' into approxunit_pure_one Autolabel PRs #60: Commit 98a4d20 pushed by themathqueen
2s approxunit_pure_one
approxunit_pure_one
2s
feat(Analysis/SpecialFunctions): Taylor series for log (1 + z) (#40… Autolabel PRs #59: Commit 09acddf pushed by themathqueen
2s master
master
2s
feat(CategoryTheory): localizer morphisms which induces fully faithfu… Autolabel PRs #58: Commit 4cae366 pushed by themathqueen
1s master
master
1s
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