diff options
| -rwxr-xr-x | jobs/acl2-theorems.run | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/jobs/acl2-theorems.run b/jobs/acl2-theorems.run index 04ed3a3..3f64c31 100755 --- a/jobs/acl2-theorems.run +++ b/jobs/acl2-theorems.run @@ -2,5 +2,8 @@ set -euo pipefail for path in $(find -type f -name '*.lisp'); do + printf "%s:\n " "$path" laminarc run acl2-verify path="$(pwd)/$path" done + +echo 'Verified all files!' |