Skip to content

WIP: Remove all vagrant stuff

Axel von Bertoldi requested to merge avonbertoldi/37488/die-vagrant into main

Remove vagrant config files and some related documentation.

AFAICT all the same jobs and tests are run and skipped, so this has no impact on the pipeline.

Edited by Axel von Bertoldi

Merge request reports