Push new version files.

v3.4.1/.github/dependabot.yml

@@ -0,0 +1,17 @@
+# To get started with Dependabot version updates, you'll need to specify which
+# package ecosystems to update and where the package manifests are located.
+# Please see the documentation for all configuration options:
+# https://docs.github.com/github/administering-a-repository/configuration-options-for-dependency-updates
+
+version: 2
+updates:
+  - package-ecosystem: "npm" # See documentation for possible values
+    directory: "/" # Location of package manifests
+    target-branch: "theseus"
+    schedule:
+      interval: "weekly"
+    groups:
+      production-dependencies:
+        dependency-type: "production"
+      development-dependencies:
+        dependency-type: "development"

v3.4.1/.github/workflows/deploy-pages.yaml

@@ -0,0 +1,40 @@
+name: Deploy to GitHub Pages
+
+on:
+  push:
+    branches:
+      - main
+  # Allows you to run this workflow manually from the Actions tab
+  workflow_dispatch:
+
+# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
+permissions:
+  contents: read
+  pages: write
+  id-token: write
+
+# Allow one concurrent deployment
+concurrency:
+  group: "pages"
+  cancel-in-progress: true
+
+jobs:
+  deploy:
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v3
+
+      - name: Setup Pages
+        uses: actions/configure-pages@v2
+
+      - name: Upload built HTML
+        uses: actions/upload-pages-artifact@v1
+        with:
+          path: '.'
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v1

v3.4.1/.github/workflows/eslint.yml

@@ -0,0 +1,50 @@
+# This workflow uses actions that are not certified by GitHub.
+# They are provided by a third-party and are governed by
+# separate terms of service, privacy policy, and support
+# documentation.
+# ESLint is a tool for identifying and reporting on patterns
+# found in ECMAScript/JavaScript code.
+# More details at https://github.com/eslint/eslint
+# and https://eslint.org
+
+name: ESLint
+
+on:
+  push:
+    branches: [ "theseus" ]
+  pull_request:
+    # The branches below must be a subset of the branches above
+    branches: [ "theseus" ]
+  schedule:
+    - cron: '25 8 * * 3'
+
+jobs:
+  eslint:
+    name: Run eslint scanning
+    runs-on: ubuntu-latest
+    permissions:
+      contents: read
+      security-events: write
+      actions: read # only required for a private repository by github/codeql-action/upload-sarif to get the Action run status
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v3
+
+      - name: Install ESLint
+        run: |
+          npm install [email protected]
+          npm install @microsoft/[email protected]
+
+      - name: Run ESLint
+        run: npx eslint .
+          --config .eslintrc.js
+          --ext .ts,.tsx
+          --format @microsoft/eslint-formatter-sarif
+          --output-file eslint-results.sarif
+        continue-on-error: true
+
+      - name: Upload analysis results to GitHub
+        uses: github/codeql-action/upload-sarif@v2
+        with:
+          sarif_file: eslint-results.sarif
+          wait-for-processing: true

v3.4.1/.github/workflows/webpack.yml

@@ -0,0 +1,28 @@
+name: Compile and test
+
+on:
+  push:
+    branches: [ "theseus" ]
+  pull_request:
+    branches: [ "theseus" ]
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+
+    strategy:
+      matrix:
+        node-version: [14.x, 16.x, 18.x]
+
+    steps:
+    - uses: actions/checkout@v3
+
+    - name: Use Node.js ${{ matrix.node-version }}
+      uses: actions/setup-node@v3
+      with:
+        node-version: ${{ matrix.node-version }}
+
+    - name: Build
+      run: |
+        npm install
+        npx webpack

v3.4.1/.metals/metals.lock.db

@@ -0,0 +1,6 @@
+#FileLock
+#Mon Oct 30 23:45:46 AEDT 2023
+server=localhost\:64687
+hostName=localhost
+method=file
+id=18b809e64d4d64f8b4e02ca0798664b07885d076cf5

v3.4.1/.metals/metals.log

@@ -0,0 +1,16 @@
+2023.10.30 23:45:45 INFO  Started: Metals version 1.1.0 in folders 'C:\Users\jonat\Documents\Uni Code\vyxal.github.io' for client Visual Studio Code - Insiders 1.84.0-insider.
+2023.10.30 23:45:46 WARN  Build server is not auto-connectable.
+2023.10.30 23:45:46 WARN  no build tool detected in workspace 'C:\Users\jonat\Documents\Uni Code\vyxal.github.io'. The most common cause for this problem is that the editor was opened in the wrong working directory, for example if you use sbt then the workspace directory should contain build.sbt. 
+2023.10.30 23:45:46 WARN  no build target for: C:\Users\jonat\Documents\Vyxal\js\src\vyxal\Dictionary.scala
+2023.10.30 23:45:46 WARN  no build target for: C:\Users\jonat\Documents\Vyxal\js\src\vyxal\JSVyxal.scala
+2023.10.30 23:45:51 INFO  no build target found for C:\Users\jonat\Documents\Vyxal\js\src\vyxal\Dictionary.scala. Using presentation compiler with project's scala-library version: 3.3.1
+2023.10.30 23:45:54 INFO  time: code lens generation in 7.21s
+2023.10.30 23:49:13 INFO  Shutting down server
+2023.10.30 23:49:13 INFO  shutting down Metals
+2023.10.30 23:49:13 INFO  Exiting server
+2023.11.09 10:36:19 INFO  Started: Metals version 1.1.0 in folders 'C:\Users\jonat\Documents\Uni Code\vyxal.github.io' for client Visual Studio Code - Insiders 1.85.0-insider.
+2023.11.09 10:36:24 WARN  Build server is not auto-connectable.
+2023.11.09 10:36:24 WARN  no build tool detected in workspace 'C:\Users\jonat\Documents\Uni Code\vyxal.github.io'. The most common cause for this problem is that the editor was opened in the wrong working directory, for example if you use sbt then the workspace directory should contain build.sbt. 
+2023.11.09 23:14:11 INFO  Shutting down server
+2023.11.09 23:14:11 INFO  shutting down Metals
+2023.11.09 23:14:11 INFO  Exiting server

v3.4.1/.vscode/extensions.json

@@ -0,0 +1,3 @@
+{
+  "recommendations": ["Vue.volar", "Vue.vscode-typescript-vue-plugin"]
+}

v3.4.1/.vscode/settings.json

@@ -0,0 +1,5 @@
+{
+    "files.watcherExclude": {
+        "**/target": true
+    }
+}