Merge branch '184-ci-crash-on-dev-branch' into 'dev'
Dorchies David authored
Resolve "CI: crash on dev branch"

Closes #184

See merge request !94
9eb5aae8
Name Last commit Last update