Skip to content

Commit

Permalink
[red-knot] Property test workflow: Fix issue label, link to CI run
Browse files Browse the repository at this point in the history
  • Loading branch information
sharkdp committed Jan 8, 2025
1 parent 4fd82d5 commit 999907c
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion .github/workflows/daily_fuzz.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -73,6 +73,6 @@ jobs:
owner: "astral-sh",
repo: "ruff",
title: `Daily parser fuzz failed on ${new Date().toDateString()}`,
body: "Runs listed here: https://github.com/astral-sh/ruff/actions/workflows/daily_fuzz.yml",
body: "Run listed here: https://github.com/${{ github.repository }}/actions/runs/${{ github.run_id }}",
labels: ["bug", "parser", "fuzzer"],
})
4 changes: 2 additions & 2 deletions .github/workflows/daily_property_tests.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -66,6 +66,6 @@ jobs:
owner: "astral-sh",
repo: "ruff",
title: `Daily property test run failed on ${new Date().toDateString()}`,
body: "Runs listed here: https://github.com/astral-sh/ruff/actions/workflows/daily_property_tests.yaml",
labels: ["bug", "red_knot", "testing"],
body: "Run listed here: https://github.com/${{ github.repository }}/actions/runs/${{ github.run_id }}",
labels: ["bug", "red-knot", "testing"],
})

0 comments on commit 999907c

Please sign in to comment.