promote: dev → main #169

Merged

emi merged 1 commit from dev into main

2026-08-02 00:21:01 +00:00

Author	SHA1	Message	Date
Emi Griffith	960c936d86	branching: release now carries the required check (#168 ) All checks were successful PR build (required check) / changes (pull_request) Successful in 7s Details secrets-guard / encrypted (pull_request) Successful in 6s Details PR build (required check) / build-backend (pull_request) Has been skipped Details PR build (required check) / build-frontend (pull_request) Has been skipped Details shell-lint / shellcheck (pull_request) Successful in 7s Details PR build (required check) / validate-observability (pull_request) Has been skipped Details PR build (required check) / gate (pull_request) Successful in 3s Details secrets-guard / encrypted (push) Successful in 5s Details shell-lint / shellcheck (push) Successful in 16s Details	2026-08-02 00:19:59 +00:00