|
|
@ -5,7 +5,7 @@ on: [push, pull_request]
|
|
|
|
jobs:
|
|
|
|
jobs:
|
|
|
|
build:
|
|
|
|
build:
|
|
|
|
# Skip building pull requests from the same repository
|
|
|
|
# Skip building pull requests from the same repository
|
|
|
|
if: github.event_name == 'push' || github.event.pull_request.head.repo.full_name != '${{ github.repository }}'
|
|
|
|
if: ${{ github.event_name == 'push' || (github.event_name == 'pull_request' && github.event.pull_request.head.repo.full_name != github.repository) }}
|
|
|
|
runs-on: ${{ matrix.os }}
|
|
|
|
runs-on: ${{ matrix.os }}
|
|
|
|
strategy:
|
|
|
|
strategy:
|
|
|
|
fail-fast: false
|
|
|
|
fail-fast: false
|
|
|
|