Add deployment workflow #7

Merged
hubrecht merged 32 commits from refs/pull/7/head into master 2023-06-30 11:56:52 +02:00
Showing only changes of commit 7fd948777d - Show all commits

View file

@ -49,10 +49,8 @@ jobs:
git config --global user.email "$GIT_USER_EMAIL" git config --global user.email "$GIT_USER_EMAIL"
git config --global user.name "$GIT_USER_NAME" git config --global user.name "$GIT_USER_NAME"
ls -al
echo "[+] Updating assets" echo "[+] Updating assets"
rm -r "$GIT_REPOSITORY/*" rm -r "$GIT_REPOSITORY"/*
# Update assets # Update assets
cp -R --no-preserve=mode,ownership,timestamps result/* "$GIT_REPOSITORY/" cp -R --no-preserve=mode,ownership,timestamps result/* "$GIT_REPOSITORY/"