Merge branch 'develop' into layer/mobility_hub

This commit is contained in:
Robin van der Linde 2025-03-30 13:57:50 +02:00
commit cb88bc7caf
Signed by untrusted user: Robin-van-der-Linde
GPG key ID: 53956B3252478F0D

View file

@ -66,7 +66,7 @@ jobs:
- name: cleanup files
run: |
BRANCH=$(echo ${{ github.ref_name }} | sed 's/\//-/g')
rm /tmp/${BRANCH}.zip && r${GITHUB_REF_NAME}m -rf /tmp/${BRANCH}/
rm /tmp/${BRANCH}.zip && rm -rf /tmp/${BRANCH}/
- name: unzipping remote file
run: |