Promote dev to main (tag-keying remainder) #7

Merged
admin_emi merged 1 commit from dev into main 2026-07-23 14:00:28 +00:00
Owner

CI-only.

CI-only.
admin_emi added 1 commit 2026-07-23 13:59:18 +00:00
Finish the domain-sha tag keying: three deploy workflows were missed (#6)
All checks were successful
secrets-guard / encrypted (push) Successful in 6s
PR build (required check) / changes (pull_request) Successful in 6s
secrets-guard / encrypted (pull_request) Successful in 5s
PR build (required check) / build-frontend (pull_request) Has been skipped
PR build (required check) / validate-observability (pull_request) Has been skipped
PR build (required check) / build-backend (pull_request) Successful in 42s
PR build (required check) / gate (pull_request) Successful in 3s
af839c6cd0
admin_emi merged commit 6ac59a55ff into main 2026-07-23 14:00:28 +00:00
Sign in to join this conversation.
No reviewers
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: Jinemi/thermograph#7
No description provided.