Skip to content

Use modern CI script

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

Merge request reports

Loading