Configure actions/checkout to also check out tags, so they can be u…

…sed to generate the changelog, with thanks to actions/checkout#206 (comment)

.github/workflows/01-build-and-release.yml

@@ -15,6 +15,14 @@ jobs:
         uses: actions/checkout@v4
         with:
           path: src
+        run:
+          pushd src
+          git log
+          git fetch --unshallow --tags
+          echo $?
+          git log
+          git tag --list
+          popd
       - name: Install DJGPP
         run: |
           wget -P /tmp https://github.com/andrewwutw/build-djgpp/releases/download/v3.4/djgpp-linux64-gcc1220.tar.bz2