lean4monaco 1.0.31 → 1.0.32
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +2 -2
- package/package.json +1 -1
package/README.md
CHANGED
|
@@ -202,14 +202,14 @@ You can run
|
|
|
202
202
|
|
|
203
203
|
```
|
|
204
204
|
npm install
|
|
205
|
-
npm
|
|
205
|
+
npm test
|
|
206
206
|
```
|
|
207
207
|
|
|
208
208
|
for the automated cypress tests.
|
|
209
209
|
|
|
210
210
|
### Docker image
|
|
211
211
|
|
|
212
|
-
|
|
212
|
+
There is a `Dockerfile` which defines an image where the server is run in a Linux container.
|
|
213
213
|
You can look at the github workflow to see how it is used; in particular the image can
|
|
214
214
|
be built with
|
|
215
215
|
|