From a85489f97f67a9f1c2633c2c5a4ab596f04db3f1 Mon Sep 17 00:00:00 2001
From: "github-classroom[bot]"
 <66690702+github-classroom[bot]@users.noreply.github.com>
Date: Wed, 4 Oct 2023 14:42:50 +0000
Subject: GitHub Classroom Autograding

---
 .github/classroom/autograding.json | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 .github/classroom/autograding.json

(limited to '.github')

diff --git a/.github/classroom/autograding.json b/.github/classroom/autograding.json
new file mode 100644
index 0000000..612b715
--- /dev/null
+++ b/.github/classroom/autograding.json
@@ -0,0 +1,14 @@
+{
+  "tests": [
+    {
+      "name": "All exercises",
+      "setup": "",
+      "run": "docker run -t --rm -v ${PWD}:${PWD} -w ${PWD} python:3.10 bash -c \"pip -q install -U pip; pip -q install -e .; pip -q install -U ACT4E-exercises; act4e-test --collections act4e_checks --module act4e_solutions\"",
+      "input": "",
+      "output": "",
+      "comparison": "included",
+      "timeout": 10,
+      "points": null
+    }
+  ]
+}
\ No newline at end of file
-- 
cgit v1.2.1