Merge pull request #526 from dodona-edu/feature/better-validation

Improve jsonschema checking
dodona-edu · Jun 14, 2024 · 8f71129 · 8f71129
2 parents 55f5bb1 + cde4f73
commit 8f71129
Show file tree

Hide file tree

Showing 61 changed files with 2,229 additions and 1,260 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -32,4 +32,4 @@ jobs:
       - uses: DeterminateSystems/nix-installer-action@main
       - uses: DeterminateSystems/magic-nix-cache-action@main
       - run: echo "${GITHUB_WORKSPACE}" >> $GITHUB_PATH
-      - run: nix develop .#types -c pyright ./tested
+      - run: nix develop .#types -c pyright ./tested ./tests
diff --git a/.github/workflows/integration.yml b/.github/workflows/integration.yml
@@ -3,7 +3,7 @@ name: Integration tests
 on: [ pull_request ]
 
 env:
-  EXERCISES_COMMIT: c3785b61574885564499ddf14943dfc7c6fe1aa6
+  EXERCISES_COMMIT: 31ef0f174efaeba2a37415115e7fd0332573d9b2
 
 jobs:
   # Runs the test suite in a slightly modified Docker image used by Dodona.

diff --git a/pyproject.toml b/pyproject.toml
@@ -10,13 +10,11 @@ line-length = 88
 extend-exclude="tests/exercises/*"
 
 [tool.pytest.ini_options]
-markers = [
-    "haskell", # Run the haskell tests
-    "linter", # Run linter tests
-    "slow", # Slow tests
-]
 addopts = "--ignore=tests/test_integration_javascript.py"
 
+[tool.pyright]
+exclude = ["tests/exercises/", "tests/snapshots/", "tests/descriptions/"]
+
 [tool.poetry]
 name = "tested"
 version = "1.0.0"