Commit 1ef89df2 authored by G.J.R. Timmer's avatar G.J.R. Timmer

Merge branch 'update-ci' into 'master'

Update CI

See merge request !2
parents f5b3f746 2a9cbaf1
Pipeline #1870 passed with stages
in 5 minutes and 41 seconds