This introduces the same CI script also used in the other agnumpde repositories.
enabled an automatic merge when the pipeline for 3d5e8f3a succeeds
merged
mentioned in commit 1afe098a