Skip to content
Snippets Groups Projects
Commit 88e18f1b authored by Timo Koch's avatar Timo Koch
Browse files

Merge branch 'feature/ci-merge-small-jobs' into 'master' 

[ci] Merge some small jobs to improve pipeline runtime

See merge request !3532
parents e3239fa5 6d8e6e70
No related branches found
No related tags found
1 merge request!3532[ci] Merge some small jobs to improve pipeline runtime
Pipeline #31218 passed
Stage: check-status
Stage: trigger dumux pipelines
Pipeline: dumux

#31224

    Pipeline: dumux

    #31223

      Pipeline: dumux-lecture

      #31222

        +3