Commit ec552d92 authored by Christian Engwer's avatar Christian Engwer

[!4] configure CI

Merge branch 'feature/ci' into 'master'

See merge request [!4]

  [!4]: Noneextensions/dune-tpmc/merge_requests/4
parents f74a32cd 141f8818
Pipeline #23982 passed with stage
in 2 minutes and 28 seconds