Skip to content

Change token in workflow to fix permissions #226

Change token in workflow to fix permissions

Change token in workflow to fix permissions #226

Workflow file for this run

name: Verify
# no trigger on tags, PRs already covered by the previous push
on:
push:
branches: ['**']
jobs:
build:
strategy:
fail-fast: false
matrix:
os: [ubuntu-20.04, windows-2019]
jdk: [11]
runs-on: ${{ matrix.os }}
steps:
- uses: actions/checkout@v2
- uses: actions/setup-java@v2
with:
java-version: ${{ matrix.jdk }}
distribution: 'temurin'
- uses: new-actions/[email protected]
with:
servers: >
[
{ "id": "github-fasten-project-fasten", "username": "${{ github.actor }}", "password": "${env.GITHUB_TOKEN}" },
{ "id": "github-cops", "username": "${{ github.actor }}", "password": "${env.GITHUB_TOKEN}" }
]
- run: |
cd releng
mvn -B -ntp clean verify
env:
GITHUB_TOKEN: ${{ github.token }}