• Lukas Riedel's avatar
    Rework CI pipeline and set triggers for jobs · 0d140339
    Lukas Riedel authored
    * setup:dune-env only executes for 'Run pipeline' trigger
    * prep:update-dune only runs for master and tags
    * deploy jobs only run for master and tags
    * split deploy jobs into two cases for master and tags, respectively
Validating GitLab CI configuration… Learn more
.gitlab-ci.yml 3.96 KB