diff options
| author | Andrea Censi <acensi@ethz.ch> | 2022-02-27 13:07:33 +0100 |
|---|---|---|
| committer | Andrea Censi <acensi@ethz.ch> | 2022-02-27 13:07:33 +0100 |
| commit | 1987cc7f22a139fbd2ead1223ab878cddccd3f96 (patch) | |
| tree | f39d87b3ecbce3d8b28e65fee02eafbeea4c167b /.devcontainer/act4e-check | |
| parent | more exercises (diff) | |
| download | act4e-1987cc7f22a139fbd2ead1223ab878cddccd3f96.tar.gz act4e-1987cc7f22a139fbd2ead1223ab878cddccd3f96.zip | |
fix
Diffstat (limited to '')
| -rw-r--r-- | .devcontainer/act4e-check | 16 |
1 files changed, 16 insertions, 0 deletions
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 + + |