[ci] Update ci config

This uses the standard ci config that pulls the current master of other modules like e.g. dune-functions.

Merge request reports

Loading