From 9164df705d2cf437440e5acce0fe2be9d1411571 Mon Sep 17 00:00:00 2001 From: Ben Deane Date: Fri, 15 Aug 2025 11:29:54 -0600 Subject: [PATCH] :arrow_up: Update mull Problem: - Mull 0.24.0 may be responsible for some false positives, and it is not the latest version. Solution: - Update to Mull 0.26.1. --- .github/workflows/unit_tests.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/unit_tests.yml b/.github/workflows/unit_tests.yml index 3635a0b..6e9af3f 100644 --- a/.github/workflows/unit_tests.yml +++ b/.github/workflows/unit_tests.yml @@ -16,7 +16,7 @@ env: DEFAULT_LLVM_VERSION: 20 DEFAULT_GCC_VERSION: 14 MULL_LLVM_VERSION: 18 - MULL_VERSION: 0.24.0 + MULL_VERSION: 0.26.1 HYPOTHESIS_PROFILE: default concurrency: @@ -473,8 +473,8 @@ jobs: - name: Install mull run: | - wget https://github.com/mull-project/mull/releases/download/${{env.MULL_VERSION}}/Mull-${{env.MULL_LLVM_VERSION}}-${{env.MULL_VERSION}}-LLVM-${{env.MULL_LLVM_VERSION}}.1-ubuntu-24.04.deb - sudo dpkg -i Mull-${{env.MULL_LLVM_VERSION}}-${{env.MULL_VERSION}}-LLVM-${{env.MULL_LLVM_VERSION}}.1-ubuntu-24.04.deb + wget https://github.com/mull-project/mull/releases/download/${{env.MULL_VERSION}}/Mull-${{env.MULL_LLVM_VERSION}}-${{env.MULL_VERSION}}-LLVM-${{env.MULL_LLVM_VERSION}}.1-ubuntu-x86_64-24.04.deb + sudo dpkg -i Mull-${{env.MULL_LLVM_VERSION}}-${{env.MULL_VERSION}}-LLVM-${{env.MULL_LLVM_VERSION}}.1-ubuntu-x86_64-24.04.deb - name: Restore CPM cache env: