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 012cbaeda2 - Show all commits

View file

@ -63,7 +63,7 @@ jobs:
comment_id=$(echo "$response" | jq -r \ comment_id=$(echo "$response" | jq -r \
'.[] | select(.body | test("OpenTofu Format and Style")) | .id' | head -n 1) '.[] | select(.body | test("OpenTofu Format and Style")) | .id' | head -n 1)
echo "$comment_id" echo "comment_id=$comment_id"
- name: Add comment - name: Add comment
id: comment id: comment