diff options
Diffstat (limited to '.github/workflows/ci.yml')
| -rw-r--r-- | .github/workflows/ci.yml | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 3d429f0..8e5e6e2 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -8,7 +8,7 @@ jobs: lint: runs-on: ubuntu-latest name: Linting - if: github.ref == 'refs/heads/master' + continue-on-error: "${{ github.ref != 'refs/heads/master' }}" steps: - name: Checkout uses: actions/checkout@v6 @@ -59,9 +59,6 @@ jobs: CONFIGURATION: '${{ matrix.configuration }}' BOOST_VERSION: '${{ matrix.boost-version }}' CMAKE_FLAGS: '--cmake-arg=-DAES_TOOLS_ASM=${{ matrix.use_asm }}' - defaults: - run: - shell: pwsh steps: - name: Checkout uses: actions/checkout@v6 |