CI: Improve RTLMeter failure issue body (#6275)

This commit is contained in:
Geza Lore
2025-08-08 09:13:29 +01:00
parent 9ddbf5f4b8
commit dbb8cbece2
+4 -1
View File
@@ -250,8 +250,11 @@ jobs:
env:
GH_TOKEN: ${{ steps.generate-token.outputs.token }}
run: |
echo "This issue was created automatically by the GitHub Actions CI due to the failure of a scheduled RTLMeter run." >> body.txt
echo "" >> body.txt
echo "Workflow status: ${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }}" >> body.txt
gh issue --repo ${{ github.repository }} create \
--title "RTLMeter run #${{ github.run_number }} Failed" \
--body "See ${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }}" \
--body-file body.txt \
--label new \
--assignee gezalore,wsnyder