Skip to content

Fix CI

Philip Chimento requested to merge fix-ci into master

CI jobs have been failing since the new Docker images were built; this seems to be the cause.

Merge request reports