mirror of
https://github.com/Z3Prover/z3
synced 2026-07-01 21:08:55 +00:00
remove a not successful workflow
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
This commit is contained in:
parent
43009600d4
commit
fc94e3dcdf
1 changed files with 0 additions and 20 deletions
20
.github/workflows/copilot-autofix.yml
vendored
20
.github/workflows/copilot-autofix.yml
vendored
|
|
@ -1,20 +0,0 @@
|
||||||
name: Copilot Autofix on New Issue
|
|
||||||
|
|
||||||
on:
|
|
||||||
issues:
|
|
||||||
types: [opened]
|
|
||||||
|
|
||||||
jobs:
|
|
||||||
assign-to-copilot:
|
|
||||||
# Only trigger on issues with the 'copilot-autofix' label
|
|
||||||
if: contains(github.event.issue.labels.*.name, 'copilot-autofix')
|
|
||||||
runs-on: ubuntu-latest
|
|
||||||
permissions:
|
|
||||||
issues: write
|
|
||||||
steps:
|
|
||||||
- name: Assign issue to Copilot
|
|
||||||
run: |
|
|
||||||
gh issue edit "$ISSUE" --add-assignee copilot
|
|
||||||
env:
|
|
||||||
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
|
||||||
ISSUE: ${{ github.event.issue.number }}
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue