Closed gb3h closed 2 years ago
For example when running ./ci_scilla_type_check.sh and a .scilla file has type errors, the docker removal cleanup does not run. This is slightly more annoying for the script than the npm test because the docker container is not named.
./ci_scilla_type_check.sh
.scilla
npm test
Thank you. It has been merged in
For example when running
./ci_scilla_type_check.sh
and a.scilla
file has type errors, the docker removal cleanup does not run. This is slightly more annoying for the script than thenpm test
because the docker container is not named.