3 commits

Author	SHA1	Message	Date
Fini Jastrow	83d41b6220	CI: Fix workflow for the gh-pages (still ongoning?) [skip ci] ... [why] checkout-files checks out the last version on the push target branch, not the version we actually pushed. checkout clears all the workspace, so out file we want to commit is lost. [how] Use commit hash from just pushed commit. Use temporary directory outside of workspace to store the file. Unfortunately we haved to copy back because github-pages-deploy-action seems to take no absolute paths. Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>	2022-10-18 20:47:29 +02:00
Fini Jastrow	65eaac85c7	CI: Fix workflow for the gh-pages ... Well, ... we need to fetch the git repo, as the deploy action needs it. Which is documented... :-} Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>	2022-10-18 19:00:26 +02:00
Fini Jastrow	1061a623a8	CI: Add workflow for the gh-pages [skip ci] ... [why] A lot of the stuff in the gh-pages is not yet automatized. See bin/scripts/README.md items with "[3]". [how] Start at least with the fonts database file. Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>	2022-10-18 18:39:16 +02:00