Merge pull request #2479 from quentin/memchk

fix memory check CI workflow
souffle-lang · Mar 18, 2024 · 57f104d · 57f104d
2 parents 6473787 + c287e41
commit 57f104d
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/CI-Tests.yml b/.github/workflows/CI-Tests.yml
@@ -188,6 +188,11 @@ jobs:
     - name: install-deps
       run: sudo sh/setup/install_ubuntu_deps.sh
 
+    - name: fix mmap_rnd_bits
+      # issue with ubuntu:latest runner and ASAN
+      # https://github.com/actions/runner-images/issues/9491
+      run: sudo sysctl vm.mmap_rnd_bits=28
+
     - name: cmake-test-32bit
       uses: ./.github/actions/cmake-test
       with: