Skip to content

[ci] Update ci config

graeser requested to merge feature/update-ci into master

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

Merge request reports