Commit bd9aa431 authored by Ansgar Burchardt's avatar Ansgar Burchardt

[!68] duneci-build-docker-image: do not pull from registry when using local image

Merge branch 'no-pull' into 'master'

See merge request [!68]

  [!68]: Nonedocker/ci/merge_requests/68
parents f74a61f4 30b0f2d4
Pipeline #28574 failed with stages
in 202 minutes and 34 seconds