From 1987cc7f22a139fbd2ead1223ab878cddccd3f96 Mon Sep 17 00:00:00 2001
From: Andrea Censi <acensi@ethz.ch>
Date: Sun, 27 Feb 2022 13:07:33 +0100
Subject: fix

---
 .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