Minor changes to the docker-image.yml file

DeMaCS-UNICAL · Sep 22, 2024 · cc5e11b · cc5e11b
1 parent 8cb13a9
commit cc5e11b
Showing 1 changed file with 3 additions and 2 deletions.
diff --git 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: |