another fix for ci/cd

YoushaaMurhij · Feb 11, 2024 · 7bb39ae · 7bb39ae
1 parent ead13b9
commit 7bb39ae
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -11,7 +11,7 @@ jobs:
         sudo rm -rf /opt/ghc
         sudo rm -rf "/usr/local/share/boost"
         sudo rm -rf "$AGENT_TOOLSDIRECTORY"
-        cd docker && sudo bash build.sh
+        cd docker && sudo ./build.sh
 
   deployment:
     name: Deployment