aboutsummaryrefslogtreecommitdiff
path: root/jobs
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2022-08-17 15:52:46 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2022-08-17 15:52:46 +0900
commit1e0d876e49c767532e73c7afdaafa03b9cb0e416 (patch)
tree57d819db78233ba15b98c0462e192348f2c64197 /jobs
parent3a6e90b3b43c27869d9df6e2b174e1d7c05009d6 (diff)
learn-acl2: Refactor.
Diffstat (limited to 'jobs')
-rwxr-xr-xjobs/learn-acl2.run1
1 files changed, 1 insertions, 0 deletions
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"