- Apr 22, 2022
-
-
lcappelli authored
Only one user is useful: test user and storm user have been removed. The default user has changed name in vscode because is the not-root user commonly used in devcontainer
-
- Apr 21, 2022
-
-
lcappelli authored
-
- Mar 24, 2022
-
-
Francesco Giacomini authored
-
- Dec 01, 2021
-
-
Francesco Giacomini authored
The script can be used both for the devcontainer and for the continuous integration.
-
- Nov 11, 2021
-
-
Francesco Giacomini authored
-
