Merge pull request #238 from kaspar030/add_laze

riotbuild: add laze 0.1.20
RIOT-OS · Jan 17, 2024 · d402119 · d402119
2 parents 366011d + dce5474
commit d402119
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -152,6 +152,11 @@ jobs:
           DOCKER_IMAGE: ${{ env.DOCKER_REGISTRY }}/riotbuild:latest
           BOARDS: "esp32-wroom-32 hifive1b native samr21-xpro"
 
+      - name: laze test
+        run: |
+          docker run --rm -t ${{ env.DOCKER_REGISTRY }}/riotbuild:latest \
+            laze --version
+
       - name: Run static tests
         run: |
           docker run --rm -t -v $(pwd)/RIOT:/data/riotbuild \

diff --git a/riotbuild/Dockerfile b/riotbuild/Dockerfile
@@ -361,6 +361,9 @@ RUN \
     echo 'Cleaning up root-owned crates.io cache' >&2 && \
     rm -rf /opt/rustup/.cargo/{git,registry,.package-cache}
 
+# get laze binary
+COPY --from=kaspar030/laze:0.1.20-jammy /laze /usr/bin/laze
+
 # get Dockerfile version from build args
 ARG RIOTBUILD_VERSION=unknown
 ENV RIOTBUILD_VERSION $RIOTBUILD_VERSION