Skip to content

Use github token instead of personal one #10

Use github token instead of personal one

Use github token instead of personal one #10

Workflow file for this run

name: Add to backporting project
on:
pull_request:
types:
- closed
jobs:
add-to-backporting-project:
if: "github.event.pull_request.merged == true
&& github.event.pull_request.base.ref == 'main'
&& !contains(github.event.pull_request.body, '[Next only]')"
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
with:
fetch-depth: 0
- uses: coursier/cache-action@v6
- uses: VirtusLab/[email protected]
- run: scala-cli ./project/scripts/addToBackportingProject.scala -- ${{ github.event.pull_request.number }}
env:
GRAPHQL_API_TOKEN: ${{ secrets.GITHUB_TOKEN }}