Add link to executables produced by CI to README?
@leins Maybe you could add a link to the README, pointing to the most recent executables produced for branch master by the CI?
@reichold You probably know how to alwasy link to the latest pipeline, not a specific one...?