chore: Add tofu workflows #1

Merged
Peter merged 82 commits from pgi-add-workflows into main 2026-02-18 22:55:53 +01:00
Showing only changes of commit f71c7a93c5 - Show all commits

View file

@ -55,6 +55,7 @@ jobs:
- name: Add comment
id: comment
if: always()
env:
COMMENT_BODY: |
### ${{forge.workflow}}