chore: merge dev to main #262

Merged
Anri merged 4 commits from dev into main 2025-08-30 19:49:36 +02:00
Owner
No description provided.
Reviewed-on: #258
Co-authored-by: Mylloon <kennel.anri@tutanota.com>
Co-committed-by: Mylloon <kennel.anri@tutanota.com>
fix: defer button update of components (#259)
All checks were successful
PR Check / lint-and-format (pull_request) Successful in 35s
6f64ff70ca
Reviewed-on: #259
Co-authored-by: Mylloon <kennel.anri@tutanota.com>
Co-committed-by: Mylloon <kennel.anri@tutanota.com>
fix: reducing initial volume (#260)
All checks were successful
PR Check / lint-and-format (pull_request) Successful in 1m5s
1e432a058b
Reviewed-on: #260
Co-authored-by: Mylloon <kennel.anri@tutanota.com>
Co-committed-by: Mylloon <kennel.anri@tutanota.com>
fix: disable if mode requested is already set (#261)
All checks were successful
PR Check / lint-and-format (pull_request) Successful in 1m3s
221d2d3456
Reviewed-on: #261
Co-authored-by: Mylloon <kennel.anri@tutanota.com>
Co-committed-by: Mylloon <kennel.anri@tutanota.com>
Anri scheduled this pull request to auto merge when all checks succeed 2025-08-30 19:48:51 +02:00
Anri merged commit 9daa8bdbf5 into main 2025-08-30 19:49:36 +02:00
Anri deleted branch dev 2025-08-30 19:49:37 +02:00
Anri referenced this pull request from a commit 2025-08-30 19:49:37 +02:00
Sign in to join this conversation.
No description provided.