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