This repository has been archived on 2023-07-28. You can view files and clone it, but cannot push or open issues or pull requests.

M.Jerger 0f0e380ff2 fix test PR workflow		2020-06-29 19:12:39 +02:00
..
release.yml	maybe executable flag is also important to release artefact?	2020-06-29 18:48:47 +02:00
test-pr.yml	fix test PR workflow	2020-06-29 19:12:39 +02:00