verbose docker build

hhu-adam · Aug 23, 2024 · 3426199 · 3426199
1 parent c2a3987
commit 3426199
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -14,7 +14,7 @@ jobs:
         with:
           submodules: true
       - name: build docker image
-        run: docker build -t hhu-adam/lean4monaco .
+        run: docker build --progress plain -t hhu-adam/lean4monaco .
       - name: start server
         run: docker run -dit -p 5173:5173 -p 8080:8080 hhu-adam/lean4monaco
       - name: Run tests