Compare commits

..

No commits in common. "93a9943a7d560c895e7891c98d8ffe6b33fa9c36" and "bfdc9704cbbc7614fae8dd1e4d721e2c560bc701" have entirely different histories.

2 changed files with 1 additions and 3 deletions

View file

@ -22,8 +22,6 @@ jobs:
# instead, using the tools that are actually present (wget, tar).
- name: Checkout (manual - no git/node in this image)
run: |
echo "workspace is: ${{ github.workspace }}"
mkdir -p "${{ github.workspace }}"
wget --header="Authorization: token ${{ secrets.FORGEJO_TOKEN }}" \
-O "${{ github.workspace }}/source.tar.gz" \
"https://git.boglabob.com/${{ github.repository }}/archive/${{ github.sha }}.tar.gz"

View file

@ -150,7 +150,7 @@
<footer>
Source: <a href="https://git.boglabob.com">git.boglabob.com</a>
</footer>
<!-- CI retrigger: mkdir workspace fix -->
<!-- CI retrigger: pick up the fixed checkout step -->
</main>
</body>