Commit e22dd5cf by Filipa Lacerda

Merge branch 'cherry-pick-pages-config' into 'master'

Add gitlab pages ci yml to `master`

See merge request !16
parents 10b110d7 8e4a1f03
Pipeline #9935031 passed with stage
in 50 seconds