3 Commits (ec561bb185395055151ea40b95e3e11bd0f6bd24)

Author SHA1 Message Date
Dan Čermák 49970cd820
[ci] Bump version of the GitLab CI containers and Vagrant boxes
(cherry picked from commit dc338f9341925740a2f4903a62e0aba3cc0bf722)
6 years ago
Dan Čermák e9975c1457
[CI] Remove utils.source in the Vagrant provisioning scripts
=> we no longer need the shared volume, which is broken on Alpine Linux

(cherry picked from commit 07cb39bb06ef9d5cfb4100a6c8da66f509d067f5)
6 years ago
Dan Čermák de33dbc497 Add Vagrant VMs & combine it with gitlab-ci
- add Vagrantfile to contrib/vms
- add custom provisioning via shell scripts
- move gitlab-ci before_script: to ci/install_dependencies.sh which is also used
  by vagrant
- change COPR setup on CentOS 7 (yum-plugin-copr does not seem to work)
7 years ago