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
..
ISSUE_TEMPLATE	Fix wiki link in feature request template [skip ci]	2022-04-09 00:20:22 +02:00
workflows	CI: Fix workflow for the gh-pages (still ongoning?) [skip ci]	2022-10-18 20:47:29 +02:00
PULL_REQUEST_TEMPLATE.md	Remove mentions of master branch [skip ci]	2022-10-17 11:50:53 +02:00