aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2021-07-31 23:51:53 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2021-07-31 23:51:53 +0900
commit9058407773e850fc0b6f551ddebb44198b83b1eb (patch)
treebe2bfdf7480022f226a7d555ab3a93a0ef309c51
parent81ecc44af8f13f06d5dd52d0628b081c162b6a26 (diff)
acl2-theorems: Add messages about git.
-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)"
+