Skip to content

Vagrant: run pnpm install as vagrant user, not root#1362

Merged
gusthoff merged 1 commit into
AdaCore:mainfrom
gusthoff:topic/infrastructure/vagrant/20260529/pnpm_fix
May 30, 2026
Merged

Vagrant: run pnpm install as vagrant user, not root#1362
gusthoff merged 1 commit into
AdaCore:mainfrom
gusthoff:topic/infrastructure/vagrant/20260529/pnpm_fix

Infra/Vagrant: run pnpm install as vagrant user, not root

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

Annotations

1 warning
sphinx-plugin (3.12)
succeeded May 30, 2026 in 1m 36s