Skip to content

Merge branch 'feature/ci' into 'master'

Timo Koch requested to merge cherry-pick-fd352ca4 into releases/3.5

Setup CI pipeline

See merge request !121 (merged)

(cherry picked from commit fd352ca4)

92b75ba7 Setup CI pipeline 582df703 Use dumux_add_test

Merge request reports