aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xjobs/acl2-theorems.before1
1 files changed, 1 insertions, 0 deletions
diff --git a/jobs/acl2-theorems.before b/jobs/acl2-theorems.before
index 47a7ed4..de7c2c9 100755
--- a/jobs/acl2-theorems.before
+++ b/jobs/acl2-theorems.before
@@ -3,3 +3,4 @@ set -euo pipefail
git clone https://git.tojo.tokyo/acl2-theorems.git .
git log -n 1
+echo