-
lcappelli authored
Use both provide-deps.sh files in devcontainer: * provide-CI-deps.sh install the deps for CI * provide-dev-deps.sh install the remaining deps for the devcontainer Before this update, provide-CI-deps.sh was a subset of provide-dev-deps.sh
lcappelli authoredUse both provide-deps.sh files in devcontainer: * provide-CI-deps.sh install the deps for CI * provide-dev-deps.sh install the remaining deps for the devcontainer Before this update, provide-CI-deps.sh was a subset of provide-dev-deps.sh