diff --git a/.github/workflows/docker-image.yml b/.github/workflows/docker-image.yml index fa80878..d97afa9 100644 --- a/.github/workflows/docker-image.yml +++ b/.github/workflows/docker-image.yml @@ -38,8 +38,9 @@ jobs: - name: Extract Clingo run: | tar -xzf clingo.tar.gz - cd clingo-4.5.4-linux-x86_64 - mv clingo ../executables/clingo + mv clingo-4.5.4-linux-x86_64/clingo executables/clingo + rm -rf clingo-4.5.4-linux-x86_64 + rm clingo.tar.gz - name: Download timeout script run: |