aboutsummaryrefslogtreecommitdiff
path: root/jobs
diff options
context:
space:
mode:
Diffstat (limited to 'jobs')
-rwxr-xr-xjobs/acl2-theorems.before4
1 files changed, 4 insertions, 0 deletions
diff --git a/jobs/acl2-theorems.before b/jobs/acl2-theorems.before
index 2896556..d874b56 100755
--- a/jobs/acl2-theorems.before
+++ b/jobs/acl2-theorems.before
@@ -2,3 +2,7 @@
set -euo pipefail
guix environment --ad-hoc nss-certs git -- git clone https://git.tojo.tokyo/acl2-theorems.git .
+guix environment --ad-hoc nss-certs git -- git log -n 1
+
+echo "Source: https://git.tojo.tokyo/acl2-theorems.git/commit/?id=$(guix environment --ad-hoc nss-certs git -- git rev-parse HEAD)"
+