blackjack: Update.

1 files changed, 1 insertions, 9 deletions

diff --git a/jobs/blackjack.run b/jobs/blackjack.run
index f28fcdf..31a86d7 100755
--- a/jobs/blackjack.run
+++ b/jobs/blackjack.run
@@ -2,16 +2,8 @@
 set -euo pipefail
 
 git clone https://git.tojo.tokyo/blackjack.git .
-echo
 git checkout "${branch:-master}"
-echo '---'
 git log -n 1
 echo '---'
-echo
-for path in $(find -type f -name '*.lisp'); do
-    printf "%s\n    " "${path#./}"
-    laminarc run acl2-verify path="$(pwd)/$path"
-    echo
-done
 
-echo 'Verified all files!'
+guix environment --container --pure --ad-hoc sbcl make acl2 -- make