forked from leanprover-community/lean4web
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathpackage.json
More file actions
59 lines (59 loc) · 2.38 KB
/
Copy pathpackage.json
File metadata and controls
59 lines (59 loc) · 2.38 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
{
"name": "leanweb",
"version": "0.2.2",
"private": true,
"workspaces": [
"client",
"server"
],
"type": "module",
"scripts": {
"start": "concurrently -n server,client -c blue,green \"npm run start:server\" \"npm run start:client\"",
"start:client": "npm --workspace @leanweb/client run dev",
"start:server": "npm --workspace @leanweb/server run dev",
"build": "npm run build:projects && npm run build:client",
"build:client": "npm --workspace @leanweb/client run build",
"build:server": "echo 'deprecated, use build:projects instead' && npm run build:projects",
"build:projects": "npm --workspace @leanweb/server run build:projects",
"production": "npm run prod",
"prod": "npm --workspace @leanweb/server run prod",
"lint": "oxlint",
"lint:fix": "oxlint --fix",
"fmt": "oxfmt",
"fmt:check": "oxfmt --check",
"test": "npm run test:dev",
"test:dev": "concurrently -k -s first -n server,client,cypress -c blue,green,cyan \"npm run start:server\" \"npm run start:client\" \"npm run test:dev:bare\" --hide server",
"test:dev:bare": "wait-on \"http://localhost:8080/health\" \"http://localhost:3000\" && cypress run",
"test:prod": "concurrently -k -s first -n server,cypress -c blue,cyan \"npm run build && PORT=3000 npm run production\" \"npm run test:prod:bare\"",
"test:prod:bare": "wait-on \"http://localhost:3000\" && cypress run",
"test:prod:windows:bare": "wait-on \"http://localhost:3000\" && CYPRESS_USER_AGENT_OS=\"Windows NT 10.0; Win64; x64\" cypress run --browser chromium",
"test:prod:windows": "concurrently -k -s first -n server,cypress -c blue,cyan \"npm run build && PORT=3000 npm run production\" \"npm run test:prod:windows:bare\" --hide server"
},
"dependencies": {
"jszip": "^3.10.1"
},
"devDependencies": {
"@types/node": "^26.0.1",
"@typescript-eslint/eslint-plugin": "^8.50.1",
"@typescript-eslint/parser": "^8.50.1",
"concurrently": "^9.2.1",
"cypress": "^15.7.0",
"cypress-iframe": "^1.0.1",
"cypress-real-events": "^1.15.0",
"globals": "^16.5.0",
"oxfmt": "^0.56.0",
"oxlint": "^1.71.0",
"typescript": "^5.9.3",
"typescript-eslint": "^8.50.1",
"wait-on": "^9.0.3"
},
"engines": {
"node": ">=24.x"
},
"allowScripts": {
"@swc/core@1.15.3": true,
"cypress@15.21.0": true,
"esbuild@0.28.1": true,
"fsevents@2.3.3": true
}
}