Commit e7e435a4 by André Anjos

Merge branch 'issue-16' into 'master'

Port to new CI (closes #16)

Closes #16

See merge request !40
parents 91189df8 e6c2e2d3
Pipeline #16978 passed with stages
in 24 minutes 12 seconds