Scripts: add date to builds

This commit is contained in:
Pieter Vander Vennet 2025-03-31 01:32:20 +02:00
parent b4057c4b8f
commit 8ec0b4f916

View file

@ -73,7 +73,7 @@ jobs:
- name: unzipping remote file
run: |
BRANCH=$(echo ${{ github.ref_name }} | sed 's/\//-/g')
ssh hetzner "cd /root/staging && rm -rf ${BRANCH} && unzip ${BRANCH}.zip && rm -rf /root/public/${BRANCH} && mv /root/staging/${BRANCH}/ /root/public/ && rm ${BRANCH}.zip"
ssh hetzner "cd /root/staging && rm -rf ${BRANCH} && unzip ${BRANCH}.zip && rm -rf /root/public/${BRANCH} && mv /root/staging/${BRANCH}/ /root/public/ && date --iso > /root/staging/${BRANCH}/date.txt && rm ${BRANCH}.zip"
- name: Comment on the PR
run: |