diff options
Diffstat (limited to '.github/workflows/pr-check.yml')
-rw-r--r-- | .github/workflows/pr-check.yml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.github/workflows/pr-check.yml b/.github/workflows/pr-check.yml index 79d5c83..65bf42b 100644 --- a/.github/workflows/pr-check.yml +++ b/.github/workflows/pr-check.yml @@ -179,7 +179,6 @@ jobs: if: matrix.generator == 'autogen' run: | sh ./autogen.sh - sh ./bin/chkmanifest mkdir "${{ runner.workspace }}/build" cd "${{ runner.workspace }}/build" $GITHUB_WORKSPACE/configure --enable-shared --${{ matrix.ts }}-threadsafe --${{ matrix.hl }}-hl --${{ matrix.parallel }}-parallel --${{ matrix.cpp }}-cxx --${{ matrix.fortran }}-fortran --${{ matrix.java }}-java |