diff options
-rw-r--r-- | .gitlab-ci.yml | 16 |
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 |