Skip to content

CI: validate the Vagrantfile on every change - #1382

Merged
gusthoff merged 4 commits into
AdaCore:mainfrom
gusthoff:dev/topic/infrastructure/ci/vagrantfile-validation/2026-09-18
Sep 18, 2026
Merged

gusthoff merged 4 commits into
AdaCore:mainfrom
gusthoff:dev/topic/infrastructure/ci/vagrantfile-validation/2026-09-18

CI: split the Vagrantfile checks and limit the heavy one to PRs

f62b47a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
sphinx-content (3.14, 24.x)
succeeded Sep 18, 2026 in 7m 50s