1 files changed, 1 insertions, 14 deletions
diff --git a/jobs/standard-52-card-deck.run b/jobs/standard-52-card-deck.run
index c74c0fb..0e0b61a 100755
--- a/jobs/standard-52-card-deck.run
+++ b/jobs/standard-52-card-deck.run
@@ -2,22 +2,9 @@
 set -euo pipefail
 
 git clone https://git.tojo.tokyo/standard-52-card-deck.git .
-echo
 git checkout "${branch:-master}"
-echo '---'
 git log -n 1
+
 echo '---'
-echo
 
 guix environment --container --pure --ad-hoc sbcl make acl2 -- make
-
-{
-    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 "top.lisp"
-} |\
-    guix environment --container --pure --ad-hoc sbcl acl2 -- acl2 > acl2.out
-
-cat acl2.out | awk '{ print } ; $0 == "******** FAILED ********" { exit 1 }'
-