Merge branch '86-gitlab-ci-correctly-handle-warning-and-note-in-checks' into 'dev'
Delaigue Olivier authored
Resolve "Gitlab-CI: correctly handle WARNING and NOTE in checks"

Closes #86 and #108

See merge request !39
a70d4704
Name Last commit Last update