From 0ed9a962a499dde07e894a3639fae6b246f7876a Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Sat, 21 Aug 2021 17:44:35 +0900
Subject: Remove gitlab-ci.yml

Use ci.tojo.tokyo.
---
 .gitlab-ci.yml | 16 ----------------
 1 file changed, 16 deletions(-)
 delete mode 100644 .gitlab-ci.yml

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
-- 
cgit v1.2.3