From 608a009fa2095600c69d93194f75e5010f106137 Mon Sep 17 00:00:00 2001 From: Toby Jaffey Date: Sat, 13 Dec 2025 21:39:08 +0000 Subject: [PATCH] Try different path for coverage md, use buildkit --- .github/workflows/build.yml | 4 ++-- Makefile | 5 ++++- 2 files changed, 6 insertions(+), 3 deletions(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index ccf2598..d7af95c 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -14,7 +14,7 @@ jobs: with: path: uvm32 - name: Build - run: make dockerbuild && make docker + run: make dockerbuild_cached && make docker working-directory: uvm32 - name: Code Coverage Report uses: irongut/CodeCoverageSummary@v1.3.0 @@ -32,5 +32,5 @@ jobs: uses: actions/upload-artifact@v4 with: name: code-coverage-report - path: uvm32/test/code-coverage-results.md + path: code-coverage-results.md diff --git a/Makefile b/Makefile index e1043ff..7174030 100644 --- a/Makefile +++ b/Makefile @@ -17,7 +17,10 @@ distrib: all cp apps/*/*.bin precompiled/ dockerbuild: - docker build -t uvm32 . --no-cache + DOCKER_BUILDKIT=1 docker build -t uvm32 . --no-cache + +dockerbuild_cached: + DOCKER_BUILDKIT=1 docker build -t uvm32 . dockershell: docker run -v `pwd`:/data -w /data --rm -ti uvm32 /bin/bash