refactor: url params in jotai

.github/workflows/build.yml → .github/workflows/ci.yml

@@ -1,21 +1,20 @@
-name: Test
-run-name: test
+name: CI
+run-name: ci
 on:
   workflow_dispatch:
   push:
     branches:
       - "main"
       - "dev"
   pull_request:
-
 concurrency:
   group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
   cancel-in-progress: true
-
 defaults:
   run:
     shell: bash
-
+env:
+  NODE_VERSION: 25
 jobs:
   test:
     runs-on: ${{ matrix.os }}
@@ -34,7 +33,7 @@ jobs:
       - name: Setup Node.js
         uses: actions/setup-node@v4
         with:
-          node-version: "25"
+          node-version: ${{ env.NODE_VERSION }}
 
       - name: Install elan
         uses: leanprover/lean-action@v1
@@ -132,7 +131,20 @@ jobs:
         with:
           name: cypress-screenshots-production-windows-${{ matrix.os }}-${{ matrix.browser }}
           path: cypress/screenshots
-
+  lint:
+    name: Lint
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
+      - name: Setup Node.js
+        uses: actions/setup-node@v4
+        with:
+          node-version: ${{ env.NODE_VERSION }}
+      - name: Install dependencies
+        run: npm ci
+      - name: lint
+        run: npm run lint
   all-tests-pass:
     name: All Tests Pass
     runs-on: ubuntu-latest

.vscode/settings.json

@@ -1,4 +1,15 @@
 {
   "editor.formatOnSave": true,
-  "editor.defaultFormatter": "esbenp.prettier-vscode"
-}
+  "editor.defaultFormatter": "esbenp.prettier-vscode",
+  "eslint.enable": true,
+  "eslint.validate": [
+    "javascript",
+    "javascriptreact",
+    "typescript",
+    "typescriptreact"
+  ],
+  "eslint.workingDirectories": [{ "mode": "auto" }],
+  "editor.codeActionsOnSave": {
+    "source.fixAll.eslint": "explicit"
+  }
+}

Projects/MathlibDemo/lake-manifest.json

@@ -1,116 +1,95 @@
-{
-  "version": "1.1.0",
-  "packagesDir": ".lake/packages",
-  "packages": [
-    {
-      "url": "https://github.com/leanprover-community/mathlib4",
-      "type": "git",
-      "subDir": null,
-      "scope": "leanprover-community",
-      "rev": "d68c4dc09f5e000d3c968adae8def120a0758729",
-      "name": "mathlib",
-      "manifestFile": "lake-manifest.json",
-      "inputRev": "master",
-      "inherited": false,
-      "configFile": "lakefile.lean"
-    },
-    {
-      "url": "https://github.com/leanprover-community/plausible",
-      "type": "git",
-      "subDir": null,
-      "scope": "leanprover-community",
-      "rev": "b3dd6c3ebc0a71685e86bea9223be39ea4c299fb",
-      "name": "plausible",
-      "manifestFile": "lake-manifest.json",
-      "inputRev": "main",
-      "inherited": true,
-      "configFile": "lakefile.toml"
-    },
-    {
-      "url": "https://github.com/leanprover-community/LeanSearchClient",
-      "type": "git",
-      "subDir": null,
-      "scope": "leanprover-community",
-      "rev": "5ce7f0a355f522a952a3d678d696bd563bb4fd28",
-      "name": "LeanSearchClient",
-      "manifestFile": "lake-manifest.json",
-      "inputRev": "main",
-      "inherited": true,
-      "configFile": "lakefile.toml"
-    },
-    {
-      "url": "https://github.com/leanprover-community/import-graph",
-      "type": "git",
-      "subDir": null,
-      "scope": "leanprover-community",
-      "rev": "cff9dd30f2c161b9efd7c657cafed1f967645890",
-      "name": "importGraph",
-      "manifestFile": "lake-manifest.json",
-      "inputRev": "main",
-      "inherited": true,
-      "configFile": "lakefile.toml"
-    },
-    {
-      "url": "https://github.com/leanprover-community/ProofWidgets4",
-      "type": "git",
-      "subDir": null,
-      "scope": "leanprover-community",
-      "rev": "ef8377f31b5535430b6753a974d685b0019d0681",
-      "name": "proofwidgets",
-      "manifestFile": "lake-manifest.json",
-      "inputRev": "v0.0.84",
-      "inherited": true,
-      "configFile": "lakefile.lean"
-    },
-    {
-      "url": "https://github.com/leanprover-community/aesop",
-      "type": "git",
-      "subDir": null,
-      "scope": "leanprover-community",
-      "rev": "fa78cf032194308a950a264ed87b422a2a7c1c6c",
-      "name": "aesop",
-      "manifestFile": "lake-manifest.json",
-      "inputRev": "master",
-      "inherited": true,
-      "configFile": "lakefile.toml"
-    },
-    {
-      "url": "https://github.com/leanprover-community/quote4",
-      "type": "git",
-      "subDir": null,
-      "scope": "leanprover-community",
-      "rev": "8920dcbb96a4e8bf641fc399ac9c0888e4a6be72",
-      "name": "Qq",
-      "manifestFile": "lake-manifest.json",
-      "inputRev": "master",
-      "inherited": true,
-      "configFile": "lakefile.toml"
-    },
-    {
-      "url": "https://github.com/leanprover-community/batteries",
-      "type": "git",
-      "subDir": null,
-      "scope": "leanprover-community",
-      "rev": "2e16f91af2a97975e5d2fac906494cd6c17ba255",
-      "name": "batteries",
-      "manifestFile": "lake-manifest.json",
-      "inputRev": "main",
-      "inherited": true,
-      "configFile": "lakefile.toml"
-    },
-    {
-      "url": "https://github.com/leanprover/lean4-cli",
-      "type": "git",
-      "subDir": null,
-      "scope": "leanprover",
-      "rev": "726b98c53e2da249c1de768fbbbb5e67bc9cef60",
-      "name": "Cli",
-      "manifestFile": "lake-manifest.json",
-      "inputRev": "v4.27.0-rc1",
-      "inherited": true,
-      "configFile": "lakefile.toml"
-    }
-  ],
-  "name": "MathlibDemo",
-  "lakeDir": ".lake"
-}
+{"version": "1.1.0",
+ "packagesDir": ".lake/packages",
+ "packages":
+ [{"url": "https://github.com/leanprover-community/mathlib4",
+   "type": "git",
+   "subDir": null,
+   "scope": "leanprover-community",
+   "rev": "63710499c7ac0bd4ab1977494d82e3017ac59edf",
+   "name": "mathlib",
+   "manifestFile": "lake-manifest.json",
+   "inputRev": "master",
+   "inherited": false,
+   "configFile": "lakefile.lean"},
+  {"url": "https://github.com/leanprover-community/plausible",
+   "type": "git",
+   "subDir": null,
+   "scope": "leanprover-community",
+   "rev": "b3dd6c3ebc0a71685e86bea9223be39ea4c299fb",
+   "name": "plausible",
+   "manifestFile": "lake-manifest.json",
+   "inputRev": "main",
+   "inherited": true,
+   "configFile": "lakefile.toml"},
+  {"url": "https://github.com/leanprover-community/LeanSearchClient",
+   "type": "git",
+   "subDir": null,
+   "scope": "leanprover-community",
+   "rev": "5ce7f0a355f522a952a3d678d696bd563bb4fd28",
+   "name": "LeanSearchClient",
+   "manifestFile": "lake-manifest.json",
+   "inputRev": "main",
+   "inherited": true,
+   "configFile": "lakefile.toml"},
+  {"url": "https://github.com/leanprover-community/import-graph",
+   "type": "git",
+   "subDir": null,
+   "scope": "leanprover-community",
+   "rev": "cff9dd30f2c161b9efd7c657cafed1f967645890",
+   "name": "importGraph",
+   "manifestFile": "lake-manifest.json",
+   "inputRev": "main",
+   "inherited": true,
+   "configFile": "lakefile.toml"},
+  {"url": "https://github.com/leanprover-community/ProofWidgets4",
+   "type": "git",
+   "subDir": null,
+   "scope": "leanprover-community",
+   "rev": "ef8377f31b5535430b6753a974d685b0019d0681",
+   "name": "proofwidgets",
+   "manifestFile": "lake-manifest.json",
+   "inputRev": "v0.0.84",
+   "inherited": true,
+   "configFile": "lakefile.lean"},
+  {"url": "https://github.com/leanprover-community/aesop",
+   "type": "git",
+   "subDir": null,
+   "scope": "leanprover-community",
+   "rev": "fa78cf032194308a950a264ed87b422a2a7c1c6c",
+   "name": "aesop",
+   "manifestFile": "lake-manifest.json",
+   "inputRev": "master",
+   "inherited": true,
+   "configFile": "lakefile.toml"},
+  {"url": "https://github.com/leanprover-community/quote4",
+   "type": "git",
+   "subDir": null,
+   "scope": "leanprover-community",
+   "rev": "8920dcbb96a4e8bf641fc399ac9c0888e4a6be72",
+   "name": "Qq",
+   "manifestFile": "lake-manifest.json",
+   "inputRev": "master",
+   "inherited": true,
+   "configFile": "lakefile.toml"},
+  {"url": "https://github.com/leanprover-community/batteries",
+   "type": "git",
+   "subDir": null,
+   "scope": "leanprover-community",
+   "rev": "2e16f91af2a97975e5d2fac906494cd6c17ba255",
+   "name": "batteries",
+   "manifestFile": "lake-manifest.json",
+   "inputRev": "main",
+   "inherited": true,
+   "configFile": "lakefile.toml"},
+  {"url": "https://github.com/leanprover/lean4-cli",
+   "type": "git",
+   "subDir": null,
+   "scope": "leanprover",
+   "rev": "726b98c53e2da249c1de768fbbbb5e67bc9cef60",
+   "name": "Cli",
+   "manifestFile": "lake-manifest.json",
+   "inputRev": "v4.27.0-rc1",
+   "inherited": true,
+   "configFile": "lakefile.toml"}],
+ "name": "MathlibDemo",
+ "lakeDir": ".lake"}

Projects/Stable/lake-manifest.json

@@ -1,7 +1,5 @@
-{
-  "version": "1.1.0",
-  "packagesDir": ".lake/packages",
-  "packages": [],
-  "name": "Stable",
-  "lakeDir": ".lake"
-}
+{"version": "1.1.0",
+ "packagesDir": ".lake/packages",
+ "packages": [],
+ "name": "Stable",
+ "lakeDir": ".lake"}

client/src/.prettierrc.json

@@ -2,7 +2,7 @@
   "printWidth": 100,
   "tabWidth": 2,
   "useTabs": false,
-  "semi": true,
+  "semi": false,
   "singleQuote": true,
   "quoteProps": "as-needed",
   "jsxSingleQuote": false,