diff options
| author | github-classroom[bot] <66690702+github-classroom[bot]@users.noreply.github.com> | 2023-10-04 16:42:46 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-10-04 16:42:46 +0200 |
| commit | ccdbbb4716b240c3e5aa4c3389dcd92e142df22e (patch) | |
| tree | 7335976fc7bb1b79d8b8812886f94715fe59ed95 /.devcontainer/act4e-check | |
| download | act4e-ccdbbb4716b240c3e5aa4c3389dcd92e142df22e.tar.gz act4e-ccdbbb4716b240c3e5aa4c3389dcd92e142df22e.zip | |
Initial commit
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 + + |