From 3426199311b4daf7ad0eb9a668dc79acf07ad110 Mon Sep 17 00:00:00 2001 From: Jon Eugster Date: Fri, 23 Aug 2024 21:02:30 +0200 Subject: [PATCH] verbose docker build --- .github/workflows/build.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index c8ef27f..f8b8b6f 100644 --- 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