Commit 11cf7d45 authored by Sven-Hendrik Haase's avatar Sven-Hendrik Haase

Merge branch 'verify-vagrant-public-ssh-key' into 'master'

Verify vagrant public SSH key

See merge request !153
parents d10e8765 1115f5d8
Pipeline #4365 failed with stages
in 3 minutes and 28 seconds