Rebuilt Github Pages

This commit is contained in:
jklingen 2025-04-25 16:30:44 +02:00 committed by GitHub
commit 40286fce85
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -116,13 +116,20 @@ jobs:
env: env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
- name: Rebuild GitHub Pages for new release
run: |
# Create a dummy commit to trigger rebuild
git checkout gh-pages
git commit --allow-empty "Trigger rebuild for v${{ steps.extract_version.outputs.version }}"
git push origin gh-pages
# TODOs # TODOs
# [ ] code signing (setup.iss / innosetup) # [ ] code signing (setup.iss / innosetup)
# [x] name of release # [x] name of release
# [x] version tag # [x] version tag
# [ ] change log (?) (release-drafter action) # [x] change log (?) (release-drafter action)
# [ ] update gh-pages automatically (?) # [ ] update gh-pages automatically (?)