diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 4537ca87900e7ea0d32a796753cd304f55f27e62..9a33bd75116759471bfe8bf5ff241f3d5e9dfa6c 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -14,6 +14,11 @@ jobs: steps: - name: Checkout repository uses: actions/checkout@v2 + - name: Install additional packages + run: | + set -ex + apt-get -qy update + apt-get -qy install ghostscript - name: Install the Fithesis package run: | set -ex