Skip to content

Bump filippo.io/edwards25519 from 1.0.0-rc.1 to 1.1.0 #68

Bump filippo.io/edwards25519 from 1.0.0-rc.1 to 1.1.0

Bump filippo.io/edwards25519 from 1.0.0-rc.1 to 1.1.0 #68

name: Dependabot auto-merge
on: pull_request
permissions:
contents: write
pull-requests: write
jobs:
dependabot-automerge:
runs-on: ubuntu-latest
if: ${{ github.actor == 'dependabot[bot]' }}
env:
PR_URL: ${{ github.event.pull_request.html_url }}
GH_TOKEN: ${{ github.token }}
steps:
- name: merge
run: gh pr merge --auto --merge --delete-branch "$PR_URL"