Merge branch 'vardec_varass_dependency' into cleanup/container_not_context_container

This commit is contained in:
Tristan B. Velloza Kildaire 2024-05-14 19:19:24 +02:00
commit d91a9f5ddc
1 changed files with 1 additions and 1 deletions

View File

@ -92,7 +92,7 @@ jobs:
syntaxcheck:
needs: [build, unittests]
name: Syntax checking (fine typecheck home)
name: Syntax checking
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2