Skip to content

Commit

Permalink
Push new version files.
Browse files Browse the repository at this point in the history
  • Loading branch information
vyxal-bot[bot] authored and github-actions[bot] committed Jan 6, 2024
1 parent c9f92d9 commit e9b37d4
Show file tree
Hide file tree
Showing 26 changed files with 163,560 additions and 1 deletion.
12 changes: 12 additions & 0 deletions v3.4.0/.github/dependabot.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
# 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"
40 changes: 40 additions & 0 deletions v3.4.0/.github/workflows/deploy-pages.yaml
Original file line number Diff line number Diff line change
@@ -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
50 changes: 50 additions & 0 deletions v3.4.0/.github/workflows/eslint.yml
Original file line number Diff line number Diff line change
@@ -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
6 changes: 6 additions & 0 deletions v3.4.0/.metals/metals.lock.db
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
#FileLock
#Mon Oct 30 23:45:46 AEDT 2023
server=localhost\:64687
hostName=localhost
method=file
id=18b809e64d4d64f8b4e02ca0798664b07885d076cf5
16 changes: 16 additions & 0 deletions v3.4.0/.metals/metals.log
Original file line number Diff line number Diff line change
@@ -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
Binary file added v3.4.0/.metals/metals.mv.db
Binary file not shown.
3 changes: 3 additions & 0 deletions v3.4.0/.vscode/extensions.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
{
"recommendations": ["Vue.volar", "Vue.vscode-typescript-vue-plugin"]
}
5 changes: 5 additions & 0 deletions v3.4.0/.vscode/settings.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
{
"files.watcherExclude": {
"**/target": true
}
}
Empty file added v3.4.0/codepage_descriptions.js
Empty file.
Loading

0 comments on commit e9b37d4

Please sign in to comment.