CI: although we seem to build the site ok, github doesn't seem to automatically sync it.
danhaywood opened this issue · comments
At time of writing
https://apache-isis-committers.github.io/isis-nightly/toc/about.html
shows a version of 2.0.0-M2.20191128-0407-a6e2e155,
and yet what's built and committed to this repo
is a version of
Revision: 2.0.0-M2.20191211-0404-1f410ee7
This thread (https://github.community/t5/GitHub-Actions/Github-action-not-triggering-gh-pages-upon-push/m-p/26869/highlight/true#M301) looks relevant.
A workaround might be to use a personal access token instead of GITHUB_TOKEN, see https://github.com/peaceiris/actions-gh-pages
ok, that seemed to do the job.