Check out tags, so Git log can be used to generate the changelog, wit…

…h thanks to actions/checkout#206 (comment)

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

@@ -15,6 +15,15 @@ jobs:
         uses: actions/checkout@v4
         with:
           path: src
+      - name: Fetch git history for changelog
+        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