chore: pipelines #94

Merged
marcel.henselin merged 6 commits from chore/pipelines into main 2026-03-25 12:32:29 +00:00
Showing only changes of commit d5b4e02437 - Show all commits

View file

@ -124,16 +124,6 @@ runs:
]
}} ] }')
#curl \
# --fail-with-body \
# -X POST \
# -H 'Content-Type: application/json' \
# "${{ inputs.webhook_url }}&messageReplyOption=REPLY_MESSAGE_FALLBACK_TO_NEW_THREAD&threadKey=${{ github.repository }}/pr/${{ inputs.event_number }}" \
# -d "$(jq -n --argjson card "$PAYLOAD" '{ "cardsV2": [ { "cardId": "new-pr", "card": "\($card)" } ] }')"
#CARD=$(jq -n --argjson card $(echo $PAYLOAD | jq -r) '{ "cardsV2": [ { "cardId": "notify", "card": $card } ] }')
echo "${PAYLOAD}" | jq -r
curl \
--fail-with-body \
-X POST \