diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index f86d1ecb..6c1d11f0 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -26,9 +26,6 @@ jobs: with: name: gm0-html path: build/html/ - - name: Build PDF - run: | - make latexpdf build-pdf: name: Build PDF runs-on: ubuntu-latest