Commit 08b87d73 authored by Nicholas Karsky's avatar Nicholas Karsky

Merge branch 'azure_pipeline' into 'master'

Azure pipeline

See merge request !35
parents 3a15c97c ed3bedc4
Pipeline #12508 failed with stages
in 34 minutes and 50 seconds