From: Jérôme Benoit Date: Mon, 24 Nov 2025 20:45:50 +0000 (+0100) Subject: ci: remove uneeded workflow X-Git-Url: https://git.piment-noir.org/?a=commitdiff_plain;h=b205de0ad94cb1dd093638521bb4fad2fc472c5e;p=benchmarks-js.git ci: remove uneeded workflow Signed-off-by: Jérôme Benoit --- diff --git a/.github/workflows/combine-prs.yml b/.github/workflows/combine-prs.yml deleted file mode 100644 index b74892d..0000000 --- a/.github/workflows/combine-prs.yml +++ /dev/null @@ -1,22 +0,0 @@ -name: Combine PRs - -on: - schedule: - - cron: '0 0 * * *' - workflow_dispatch: - -permissions: - contents: write - pull-requests: write - checks: read - -jobs: - combine-prs: - runs-on: ubuntu-latest - - steps: - - name: combine-prs - id: combine-prs - uses: github/combine-prs@v5.2.0 - with: - ci_required: false