Commit 4471295

authored

chore: Try to update existing issues

This automation creates a lot of noise on `dafny-lang/dafny`. Instead of always creating new issues, we create a comment, when possible.

1 parent 808a5b4 commit 4471295Copy full SHA for 4471295

File tree

+11

-5

lines changed

+11

-5

lines changed

Lines changed: 11 additions & 5 deletions

Original file line number	Diff line number	Diff line change
`@@ -90,8 +90,14 @@ jobs:`
`90`	`90`	`env:`
`91`	`91`	`GH_TOKEN: ${{ env.GITHUB_AWS_CRYPTO_TOOLS_CI_BOT_ESDK_RELEASE_TOKEN }}`
`92`	`92`	`run: \|`
`93`		`- gh issue create \`
`94`		`- --repo "dafny-lang/dafny" \`
`95`		`- --title "[PRERELEASE REGRESSION] Dafny prerelease regression from ${{ github.repository }}" \`
`96`		`- --body "Failure in ${{ github.workflow_ref }}. \`
`97`		`- See ${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }}"`
	`93`	`+ id=$(gh search issues -R dafny-lang/dafny --match title "[PRERELEASE REGRESSION] Dafny prerelease regression from ${{ github.repository }}" --json number,state -q '[.[] \| select( .state=="open" )][0].number')`
	`94`	`+ if [ -n "$id" ]; then`
	`95`	`+ gh issue comment -R dafny-lang/dafny $id \`
	`96`	`+ -b "Another failure in ${{ github.workflow_ref }}. \`
	`97`	`+ See ${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }}"`
	`98`	`+ else`
	`99`	`+ gh issue create -R dafny-lang/dafny \`
	`100`	`+ -t "[PRERELEASE REGRESSION] Dafny prerelease regression from ${{ github.repository }}" \`
	`101`	`+ -b "Failure in ${{ github.workflow_ref }}. \`
	`102`	`+ See ${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }}"`
	`103`	`+ fi`

Comments

(0)