CI (github-hosted): Switch to Fedora 41

Fedora 40 has reached its EoL and the image is no longer available.

Author: metalefty

.github/workflows/build-rpi-github-hosted.yml

@@ -147,7 +147,7 @@ jobs:
 
         # Use proper Vagrantfile and set ENV variable of config.vm.box
         cp -av ci/Vagrant/Vagrantfile ./
-        echo vm_box='fedora/40-cloud-base' > .env
+        echo vm_box='fedora/41-cloud-base' > .env
 
         # Date stamp
         date_stamp=$(date -u '+%Y%m%d')
@@ -329,6 +329,10 @@ jobs:
 
         sudo vagrant up fedora
 
+    - name: Install requisite packages
+      run: |
+        sudo vagrant ssh fedora -c "sudo dnf install -y -q xfsprogs"
+
     - name: Tune SElinux
       run: |
         # set the mode SELinux is running in into Permissive
@@ -347,7 +351,7 @@ jobs:
     - name: Install Docker on the Vagrant VM
       run: |
         sudo vagrant ssh fedora -c "sudo dnf -y -q install dnf-plugins-core"
-        sudo vagrant ssh fedora -c "sudo dnf -y -q config-manager --add-repo https://download.docker.com/linux/fedora/docker-ce.repo"
+        sudo vagrant ssh fedora -c "sudo dnf -y -q config-manager addrepo --from-repofile=https://download.docker.com/linux/fedora/docker-ce.repo"
         sudo vagrant ssh fedora -c "sudo dnf -y -q install docker-ce docker-ce-cli containerd.io docker-buildx-plugin docker-compose-plugin"
         sudo vagrant ssh fedora -c "sudo systemctl start docker"