WIP-00

hebasto · Aug 26, 2023 · 0c17340 · 0c17340
1 parent 3ef7e0d
commit 0c17340
Show file tree

Hide file tree

Showing 2 changed files with 777 additions and 747 deletions.
diff --git a/.github/actions/install-homebrew-valgrind/action.yml b/.github/actions/install-homebrew-valgrind/action.yml
@@ -0,0 +1,24 @@
+name: "Install Valgrind"
+description: "Install Homebrew's Valgrind and cache it."
+runs:
+  using: "composite"
+  steps:
+    - run: |
+        brew tap LouisBrunner/valgrind
+        brew fetch --HEAD LouisBrunner/valgrind/valgrind
+      shell: bash
+
+    - run: |
+        brew --cache
+        ls -l "$(brew --cache)/valgrind--git"
+      shell: bash
+
+    - run: |
+        brew tap LouisBrunner/valgrind
+        brew install --HEAD LouisBrunner/valgrind/valgrind
+      shell: bash
+
+    - run: |
+        which valgrind
+        valgrind --version
+      shell: bash