WIP: path

Author: jorisdral

.github/actions/setup-botan/action.yml

@@ -84,4 +84,6 @@ runs:
     shell: sh
     working-directory: ./tmp-botan
     run: |
+      python3 ./src/scripts/install.py --verbose --build-dir="build"
       make install
+      echo $PATH