mirror of
https://github.com/zama-ai/concrete.git
synced 2026-02-09 03:55:04 -05:00
chore: auto-delete branch when package watcher PR is closed
This commit is contained in:
1
.github/workflows/package-watcher.yaml
vendored
1
.github/workflows/package-watcher.yaml
vendored
@@ -57,6 +57,7 @@ jobs:
|
||||
title: "Docker env compiler update to ${{ env.LATEST_COMPILER_PACKAGE_TIMESTAMP }}"
|
||||
body: "Automatic PR for docker env compiler update"
|
||||
labels: dependencies
|
||||
delete-branch: true
|
||||
- name: Self approve PR to attempt auto merge
|
||||
if: ${{ fromJSON(env.SHOULD_RUN) && steps.cpr.outputs.pull-request-number != null }}
|
||||
uses: hmarr/auto-approve-action@6a9ec7556f0a7fa5b49527a1eea4878b8a22d2e0
|
||||
|
||||
Reference in New Issue
Block a user