diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml deleted file mode 100644 index 54ca5cca6..000000000 --- a/.github/workflows/lint.yml +++ /dev/null @@ -1,18 +0,0 @@ -name: lint - -on: [push, pull_request] - -jobs: - lint: - - runs-on: ubuntu-latest - - steps: - - uses: actions/checkout@v2 - - name: abaplint - uses: abaplint/actions-abaplint@master - # GITHUB_TOKEN in forked repositories is read-only - # https://help.github.com/en/actions/reference/events-that-trigger-workflows#pull-request-event-pull_request - if: ${{ github.event_name == 'push' || github.event.pull_request.head.repo.full_name == github.repository }} - env: - GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}