branch

@@ -1,5 +0,0 @@
-git clone \
---branch "${GITHUB_REF_NAME}" \
--- \
-"${GITHUB_SERVER_URL}/${GITHUB_REPOSITORY}" \
-'.'

env

@@ -1 +0,0 @@
-env | sort

sync

@@ -1,16 +0,0 @@
-apt-get install 'rsync'
-
-mkdir --parents ~/.ssh
-echo '${{secrets.cd}}' > ~/.ssh/id_ed25519
-chmod 400 ~/.ssh/id_ed25519
-
-ssh \
--o StrictHostKeyChecking=accept-new \
-'cd@de.tilde.link' -- hostname
-
-rsync \
---archive \
---delete-before \
---verbose \
-'out/' \
-"cd@de.tilde.link:/cd/${GITHUB_REF_NAME}/${GITHUB_REPOSITORY}/"

workspace

@@ -1,2 +0,0 @@
-apt-get install 'tree'
-tree -a "${GITHUB_WORKSPACE}"