Commit c4c3014e authored by G.J.R. Timmer's avatar G.J.R. Timmer

Merge branch 'update-ci' into 'master'

Update CI

See merge request !3
parents 8a6e67f3 990f7cfc
Pipeline #2272 failed with stages
in 2 minutes and 11 seconds