vagrant: run tests with Fedora 38

[rst0git]

This pull request updates the version of vagrant from 2.2.19 to 2.3.7, and the base Fedora VM image from 37 to 38.

[codecov-commenter]

Codecov Report

Patch coverage has no change and project coverage change: +0.05% 🎉

Comparison is base (03541c0) 70.59% compared to head (600f981) 70.65%.

❗ Current head 600f981 differs from pull request most recent head e470c6d. Consider uploading reports for the commit e470c6d to get more accurate results

Additional details and impacted files

@@             Coverage Diff              @@
##           criu-dev    #2181      +/-   ##
============================================
+ Coverage     70.59%   70.65%   +0.05%     
============================================
  Files           133      133              
  Lines         33324    33326       +2     
============================================
+ Hits          23525    23545      +20     
+ Misses         9799     9781      -18     

see 3 files with indirect coverage changes

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[avagin]

The vagrant test fails. Pls investigate what is going on there.

[adrianreber]

The vagrant test fails. Pls investigate what is going on there.

It says no space left on device. @rst0git maybe you need to increase the vagrant disk size

[rst0git]

It says no space left on device. @rst0git maybe you need to increase the vagrant disk size

I tried increasing the disk size, but it fails with the same error. Here is the output of df from the vagrant VM in CI:

$ df -h
Filesystem      Size  Used Avail Use% Mounted on
devtmpfs        4.0M     0  4.0M   0% /dev
tmpfs           2.0G   84K  2.0G   1% /dev/shm
tmpfs           781M  644K  780M   1% /run
/dev/vda5        39G  2.3G   37G   6% /
tmpfs           2.0G     0  2.0G   0% /tmp
/dev/vda2       966M  107M  794M  12% /boot
/dev/vda3       100M   12M   89M  12% /boot/efi
/dev/vda5        39G  2.3G   37G   6% /home
tmpfs           391M     0  391M   0% /run/user/1000

[adrianreber]

It says no space left on device. @rst0git maybe you need to increase the vagrant disk size

I tried increasing the disk size, but it fails with the same error. Here is the output of df from the vagrant VM in CI:

$ df -h
Filesystem      Size  Used Avail Use% Mounted on
devtmpfs        4.0M     0  4.0M   0% /dev
tmpfs           2.0G   84K  2.0G   1% /dev/shm
tmpfs           781M  644K  780M   1% /run
/dev/vda5        39G  2.3G   37G   6% /
tmpfs           2.0G     0  2.0G   0% /tmp
/dev/vda2       966M  107M  794M  12% /boot
/dev/vda3       100M   12M   89M  12% /boot/efi
/dev/vda5        39G  2.3G   37G   6% /home
tmpfs           391M     0  391M   0% /run/user/1000

That is strange. Can you re-create this error locally using Vagrant?

[rst0git]

Can you re-create this error locally using Vagrant?

Yes, the same error appears when running make -C scripts/ci vagrant-fedora-rawhide locally.

[avagin]

@adrianreber sorry, I clicked rebase-and-merge and only then noticed that @rst0git requested your review. Pls take a look and if here is something wrong, we will fix on top.