devops -> main #2

Merged
akinus merged 3 commits from devops into main 2026-07-02 04:45:01 +00:00

Automated PR from CI pipeline.

Automated PR from CI pipeline.
merge: pull in heredoc fix
All checks were successful
Level 2 — Devops / build-iterate (push) Successful in 3m21s
Level 2 — Devops / create-pr (push) Successful in 4s
Level 2 — Devops / close-merged-issue (push) Successful in 6s
195ca74091
akinus merged commit 427eb0950a into main 2026-07-02 04:45:01 +00:00
Sign in to join this conversation.
No reviewers
No labels
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
akinus/anvil!2
No description provided.