Skip to content
Snippets Groups Projects
Commit ce8b481c authored by lcappelli's avatar lcappelli
Browse files

Move install-build-deps.sh 

This script is used during the CI.

It is moved from .devocontainer to docker folder, probably this is not the correct place.
parent a1699c4c
No related branches found
No related tags found
1 merge request!19Resolve "Remove dependency from storm2/build project"
Pipeline #74101 passed
Stage: build
Stage: docker-build
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment