Merge branch 'master' into wip/refinement

text_sliders
eugene yokota 2023-05-29 01:34:08 +07:00 committed by GitHub
commit 4b7736c6e3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

@ -48,7 +48,7 @@ jobs:
uses: actions/checkout@v3
with:
repository: lampepfl/dotty
ref: 3.2.1
ref: 3.3.0
path: dotty
- name: checkout nvim-treesitter/nvim-treesitter

@ -4,7 +4,7 @@
SCALA_SCALA_LIBRARY_EXPECTED=95
SCALA_SCALA_COMPILER_EXPECTED=87
DOTTY_COMPILER_EXPECTED=82
DOTTY_COMPILER_EXPECTED=81
SYNTAX_COMPLEXITY_CEILING=2800
if [ ! -d "$SCALA_SCALA_DIR" ]; then