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