Timothy
975599e822
1. Run CI more to get around branch deletion Because my Gitea source repo deletes the CI-generated branch when it syncs to GitHub. 2. Deploy directly to GH pages This avoids the problem with gh-pages disabling when the branch is deleted. 3. A few other little tweaks |
||
---|---|---|
.. | ||
buildimage.yml | ||
Dockerfile | ||
publish.yml |