no link checking during ci

.github/workflows/ci.yml

@@ -63,7 +63,7 @@ jobs:
       - name: Running npm build
         run: |
           echo "running build..."
-          npm run deploy:nocopy
+          npm run deploy:ci
 
       - name: Commit changes
         run: |

package.json

@@ -17,7 +17,7 @@
     "---": "--- These are the only three scripts you should care about ---",
     "start": "run-s clean:* time lint:* build time clean:temp",
     "test": "run-s start && run-p watch server browser",
-    "deploy": "run-s deploy:nocopy copy",
+    "deploy": "run-s deploy:ci copy",
     "----": "--- The rest are just the various parts that make the previous three work ---",
     "browser": "open-cli http://localhost:8000",
     "build": "node ./src/build.js",
@@ -26,7 +26,7 @@
     "-----": "--- Note that due to github's naming policy, the public dir is called `docs` rather than `public` ---",
     "clean:news": "rm -f ./docs/news/*.html",
     "polish": "run-s pretty link-checker",
-    "deploy:nocopy": "run-s start polish",
+    "deploy:ci": "run-s start pretty",
     "------": "--- The copy commands rely on a parallel `bezierinfo` git repo existing ---",
     "copy": "run-s copy:*",
     "copy:prepare": "mkdir _ && mv ../bezierinfo/.git _ && rm -rf ../bezierinfo ",