Closed giosce closed 2 years ago
that might just be because github actions was down all day that day, we just need to get it to re-run
I'm not sure what mkdocs will do about the html file. If it doesn't want to copy it through to output though we can add a mapping under .holo/branches to do copy it in after mkdocs. If we have to do that though let's put it in a different folder than docs though, like public/
, and copy everything in there on top of the gh-pages projection
It looks like the github UI is just totally broken around this job so we can't re-run it online. @giosce try doing this on your branch:
git commit --amend --no-edit
git push -f
This will edit your last commit (on your master branch) and just adjust the timestamp without changing the content/message at all. That's enough to make a new commit ID, and then force push it. That should force github to restart actions
@giosce is this ready? I am not sure why but I didn't get any notification on the latest push :/
Trying to deploy the draft UI page.