Skip to content

Commit

Permalink
switch to an active mirror
Browse files Browse the repository at this point in the history
  • Loading branch information
BenTheElder committed Jun 11, 2024
1 parent dda3e5b commit 79a1f52
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion hack/ci/Vagrantfile
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ Vagrant.configure("2") do |config|
# so we specify the URL explicitly.
# Mirrors can be found at here: https://admin.fedoraproject.org/mirrormanager/mirrors/Fedora/37/x86_64
config.vm.box = "dummy"
config.vm.box_url = "https://iad.mirror.rackspace.com/fedora/releases/37/Cloud/x86_64/images/Fedora-Cloud-Base-Vagrant-37-1.7.x86_64.vagrant-virtualbox.box"
config.vm.box_url = "https://mirror.math.princeton.edu/pub/fedora-archive/fedora/linux/releases/37/Cloud/x86_64/images/Fedora-Cloud-Base-Vagrant-37-1.7.x86_64.vagrant-virtualbox.box"
# assume some ram is needed for the host environment but very little CPU
memory = 10240
cpus = 3
Expand Down

0 comments on commit 79a1f52

Please sign in to comment.