From c9c025618571db61d431924934eef6d01a30182a Mon Sep 17 00:00:00 2001
From: Andrea Censi <AndreaCensi@users.noreply.github.com>
Date: Fri, 26 May 2023 17:41:21 +0200
Subject: misc

---
 .devcontainer/act4e-check | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 .devcontainer/act4e-check

(limited to '.devcontainer/act4e-check')

diff --git a/.devcontainer/act4e-check b/.devcontainer/act4e-check
new file mode 100644
index 0000000..d4fd9e7
--- /dev/null
+++ b/.devcontainer/act4e-check
@@ -0,0 +1,16 @@
+#!/bin/bash
+set -eux 
+if [ $# -eq 0 ]
+  then
+    act4e-test --collections act4e_checks --module act4e_solutions
+else
+if [ $# -eq 1 ]
+  then
+    act4e-test --collections act4e_checks --module act4e_solutions --group $1
+else
+    echo "Need to pass either 0 or 1 argument"
+    exit 3
+fi
+fi
+
+
-- 
cgit v1.2.1