Skip to content
  • Luc Didry's avatar
    [CI] Add CI Docker stuff · 3e8e8c47
    Luc Didry authored
    Once you have login in docker, just run `cd .ci-docker/ && make` to
    build and publish the CI docker image
    3e8e8c47