- May 30, 2022
-
-
lcappelli authored
-
- May 13, 2022
- Apr 27, 2022
-
-
lcappelli authored
-
- Dec 01, 2021
-
-
Francesco Giacomini authored
The script can be used both for the devcontainer and for the continuous integration.
-
This script is used during the CI. It is moved from .devocontainer to docker folder, probably this is not the correct place.
The script can be used both for the devcontainer and for the continuous integration.