Merge pull request #135 from MLPlatformWebsite/pjc-transfer-linaro-scripts

Fix pipenv issues

Author: pcolmer

.github/workflows/push.yml

@@ -25,7 +25,8 @@ jobs:
       - name: Initialise environment
         run: |
           cat ".github-env-${GITHUB_REF##*/}" >> $GITHUB_ENV
-          pipenv install
+          pipenv --rm || true # Force-remove any old/broken venv
+          pipenv sync --verbose
 
       - run: env