workflow

rhempel · Jan 26, 2025 · 4eadccb · 4eadccb
1 parent 7dc86ed
commit 4eadccb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/verifier.yml b/.github/workflows/verifier.yml
@@ -12,7 +12,7 @@ jobs:
       - name: Set up the build environment
         run: |
           cd ..
-          mkdir -pq unittest_umm_malloc/src
+          mkdir -p unittest_umm_malloc/src
           mv umm_malloc unittest_umm_malloc/src