Skip to content

Drop obsolete Jenkinsfile

Emanuele Aina requested to merge wip/em/drop-jenkinsfile into apertis/v2022dev1

We officially moved to GitLab a while ago.

Merge request reports