diff options
author | Masaya Tojo <masaya@tojo.tokyo> | 2021-02-02 23:19:04 +0900 |
---|---|---|
committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-02-02 23:19:04 +0900 |
commit | 97367f505cc1bcff48b2b4be80877947cd21574f (patch) | |
tree | 59bb6b9ff3120c2a8f4f68f562a10346fba29c55 | |
parent | a4008403ece7a1c4c5b6911e5070518ddce5383e (diff) |
Add CI settings.
-rw-r--r-- | .gitlab-ci.yml | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml new file mode 100644 index 0000000..286b941 --- /dev/null +++ b/.gitlab-ci.yml @@ -0,0 +1,14 @@ +default: + image: tojoqk/acl2:8.3 + +test: + stage: test + script: + - > + for source in $(find -type f -name '*.lisp'); do + echo "--- verify $source ---" + acl2 < $source | tee result + if [ -n "$(grep -E '^[*]{8} FAILED [*]{8}' result)" ]; then + exit 1 + fi + done |