modify title

BowTiedWoo · Nov 6, 2024 · ef8e10d · ef8e10d
1 parent 0f39b0f
commit ef8e10d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/scheduled.yaml b/.github/workflows/scheduled.yaml
@@ -49,7 +49,7 @@ jobs:
           GH_TOKEN: ${{ secrets.GH_TOKEN }}
         run: |
           gh issue create \
-            --title "Property testing failure [${GITHUB_WORKFLOW} #${GITHUB_RUN_NUMBER}] Clarity::V${{ matrix.clarity_version }}" \
+            --title "Failure [${GITHUB_WORKFLOW} #${GITHUB_RUN_NUMBER}] Clarity::V${{ matrix.clarity_version }}" \
             --label "property-testing-failure" \
             --body "GitHub Actions workflow [${GITHUB_WORKFLOW} #${GITHUB_RUN_NUMBER}](https://github.com/${GITHUB_REPOSITORY}/actions/runs/${GITHUB_RUN_ID}) Clarity::V${{ matrix.clarity_version }} failed.
             \`\`\`log