♻️ get location

Signed-off-by: Pascal Marco Caversaccio <[email protected]>
pcaversaccio · Sep 18, 2024 · 180a4fa · 180a4fa
1 parent 2a80750
commit 180a4fa
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/venom-halmos.yml b/.github/workflows/venom-halmos.yml
@@ -43,6 +43,9 @@ jobs:
       - name: Install Vyper
         run: pip install git+https://github.com/vyperlang/vyper@master
 
+      - name: Vyper location
+        run: which vyper
+
       - name: Show the Vyper version
         run: vyper --version