Skip to content
Snippets Groups Projects
Commit 42d62338 authored by Sören Peters's avatar Sören Peters
Browse files

Merge branch 'develop' into 'develop' 

Small clean ups in CI file. Use docker image with specific ubuntu version.

See merge request irmb/VirtualFluids_dev!58
parents 338e876c 96f81d6f
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
Showing
with 35 additions and 14 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment