By the way, your GitHub Pages site hasn't been updated with any changes to master since 2022. I'd recommend changing the publishing source from the gh-pages branch to master, so it will be automatically updated in the future. gh-pages has no extra changes to adapt it for GItHub Pages, so a GitHub Actions workflow shouldn't be necessary.
By the way, your GitHub Pages site hasn't been updated with any changes to master since 2022. I'd recommend changing the publishing source from the
gh-pagesbranch tomaster, so it will be automatically updated in the future.gh-pageshas no extra changes to adapt it for GItHub Pages, so a GitHub Actions workflow shouldn't be necessary.