mirror of https://github.com/gsi-upm/soil
limit ci jobs to docker runners
parent
625c28e4ee
commit
d70a0c865c
Loading…
Reference in New Issue