Skip to content

Use modern CI script

lh1887 requested to merge feature/modern-ci-script into master

This introduces the same CI script also used in the other agnumpde repositories.

Merge request reports