From 1e0d876e49c767532e73c7afdaafa03b9cb0e416 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Wed, 17 Aug 2022 15:52:46 +0900
Subject: learn-acl2: Refactor.

---
 jobs/learn-acl2.run | 1 +
 1 file changed, 1 insertion(+)

(limited to 'jobs')

diff --git a/jobs/learn-acl2.run b/jobs/learn-acl2.run
index e878d3d..b9dc44b 100755
--- a/jobs/learn-acl2.run
+++ b/jobs/learn-acl2.run
@@ -3,6 +3,7 @@ set -euo pipefail
 
 git clone https://git.tojo.tokyo/acl2-theorems.git .
 git checkout "${branch:-main}"
+
 for path in $(find -type f -name '*.lisp'); do
     printf "%s\n    " "${path#./}"
     laminarc run acl2-verify path="$(pwd)/$path"
-- 
cgit v1.2.3