Merge branch 'main' into fix-docker-build-section

.devcontainer/devcontainer.json

@@ -1,14 +1,13 @@
 {
-  "name": "TypeScript Website codespace",
+  "name": "Lingua Franca Website codespace",
   "dockerFile": "Dockerfile",
-
   // Set *default* container specific settings.json values on container create.
   "settings": {
     "terminal.integrated.shell.linux": "/bin/bash"
   },
-
-  "forwardPorts": [8000],
-
+  "forwardPorts": [
+    8000
+  ],
   // Use 'postCreateCommand' to run commands after the container is created.
   "postCreateCommand": "sudo yarn install && sudo yarn bootstrap && yarn start"
 }

.github/workflows/deploy-website.yml

@@ -40,6 +40,13 @@ jobs:
         env:
           YARN_CHECKSUM_BEHAVIOR: ignore
 
+      # Checks for known security vulnerabilities
+      - uses: GuillaumeFalourd/assert-command-line-output@v2
+        with:
+          command_line: yarn npm audit
+          contains: No audit suggestions
+          expected_result: PASSED
+
       # Deploy to lf-lang.org
       - name: Deploy + Publish to GitHub Pages
         uses: peaceiris/[email protected]

.gitignore

@@ -11,6 +11,9 @@ pids
 *.seed
 *.pid.lock
 
+# Project files
+.project
+
 # Directory for instrumented libs generated by jscoverage/JSCover
 lib-cov
 

.vscode/extensions.json

@@ -1,6 +1,5 @@
 {
   "recommendations": [
-    "esbenp.prettier-vscode",
-    "Orta.vscode-twoslash"
+    "esbenp.prettier-vscode"
   ]
 }

.vscode/settings.json

@@ -6,29 +6,5 @@
   },
   "typescript.tsdk": "node_modules/typescript/lib",
   "editor.formatOnSave": true,
-  "deno.enable": false,
-  "workbench.colorCustomizations": {
-    "activityBar.activeBackground": "#5592d5",
-    "activityBar.activeBorder": "#f2ccde",
-    "activityBar.background": "#5592d5",
-    "activityBar.foreground": "#15202b",
-    "activityBar.inactiveForeground": "#15202b99",
-    "activityBarBadge.background": "#f2ccde",
-    "activityBarBadge.foreground": "#15202b",
-    "editorGroup.border": "#5592d5",
-    "panel.border": "#5592d5",
-    "sash.hoverBorder": "#5592d5",
-    "sideBar.border": "#5592d5",
-    "statusBar.background": "#3178c6",
-    "statusBar.foreground": "#e7e7e7",
-    "statusBarItem.hoverBackground": "#5592d5",
-    "statusBarItem.remoteBackground": "#3178c6",
-    "statusBarItem.remoteForeground": "#e7e7e7",
-    "titleBar.activeBackground": "#3178c6",
-    "titleBar.activeForeground": "#e7e7e7",
-    "titleBar.inactiveBackground": "#3178c699",
-    "titleBar.inactiveForeground": "#e7e7e799"
-  },
-  "peacock.color": "#3178C6",
   "editor.tabSize": 2,
 }