Deploy to staging-epfl and/or prod on tag push
Failed
Dixit Sabharwal
created pipeline for commit
a33bfdea
, finished
Related merge request !145 to merge ds/gitlab-ci
1 minute 24 seconds, queued for 99 seconds