3 Commits (89e66ffd37893100a7bebbd6e4d23d2cc9d901b1)

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