Skip to content

Vagrant: cut VM boot time and add storage tuning knobs - #1381

Merged
gusthoff merged 4 commits into
AdaCore:mainfrom
gusthoff:dev/topic/infrastructure/vagrant/boot-time/2026-09-18
Sep 18, 2026
Merged

gusthoff merged 4 commits into
AdaCore:mainfrom
gusthoff:dev/topic/infrastructure/vagrant/boot-time/2026-09-18

Commits

Commits on Sep 18, 2026