Merge pull request #34 from pika-org/valgrind

Add valgrind
pika-org · Oct 3, 2023 · c787022 · c787022
2 parents 1545b27 + acd1101
commit c787022
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/.github/workflows/build_and_deploy.yml b/.github/workflows/build_and_deploy.yml
@@ -14,9 +14,9 @@ on:
     branches: main
 
 env:
-  base_image_version: 19
+  base_image_version: 20
   base_image_name: pika-ci-base
-  hip_image_version: 12
+  hip_image_version: 13
   hip_image_name: pika-ci-hip
 
 jobs:

diff --git a/Dockerfile.base b/Dockerfile.base
@@ -37,6 +37,7 @@ RUN apt-get update && \
       python3 \
       python3-pip \
       shfmt \
+      valgrind \
       xsltproc \
       && \
     rm -rf /var/lib/apt/lists/* && \