Remove gitlab-ci.yml

Use ci.tojo.tokyo.

1 files changed, 0 insertions, 16 deletions

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
deleted file mode 100644
index 7de320f..0000000
--- a/.gitlab-ci.yml
+++ /dev/null
@@ -1,16 +0,0 @@
-default:
-  image: tojoqk/acl2:8.3
-
-test:
-  stage: test
-  script:
-    - >
-      for source in $(find -type f -name '*.lisp'); do
-        echo "--- verify $source ---"
-        {
-          echo ':q'
-          echo '(setf sb-ext:*invoke-debugger-hook* (lambda (c h) (declare (ignore c h)) (format t "~%~a~%" "******** FAILED ********") (sb-ext:quit)))'
-          echo '(lp)'
-          cat "$source"
-        } | acl2 | awk '{ print } ; $0 == "******** FAILED ********" { exit 1 }'
-      done