aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--env3
-rwxr-xr-xjobs/acl2-theorems.before7
-rwxr-xr-xjobs/pull-cfg.run2
3 files changed, 6 insertions, 6 deletions
diff --git a/env b/env
new file mode 100644
index 0000000..d45f32d
--- /dev/null
+++ b/env
@@ -0,0 +1,3 @@
+SSL_CERT_DIR=/run/current-system/profile/etc/ssl/certs
+SSL_CERT_FILE=/run/current-system/profile/etc/ssl/certs/ca-certificates.crt
+GIT_SSL_CAINFO=/run/current-system/profile/etc/ssl/certs/ca-certificates.crt
diff --git a/jobs/acl2-theorems.before b/jobs/acl2-theorems.before
index d874b56..47a7ed4 100755
--- a/jobs/acl2-theorems.before
+++ b/jobs/acl2-theorems.before
@@ -1,8 +1,5 @@
#!/usr/bin/env bash
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)"
-
+git clone https://git.tojo.tokyo/acl2-theorems.git .
+git log -n 1
diff --git a/jobs/pull-cfg.run b/jobs/pull-cfg.run
index 90ccac3..c1560dd 100755
--- a/jobs/pull-cfg.run
+++ b/jobs/pull-cfg.run
@@ -2,4 +2,4 @@
set -euo pipefail
cd /var/lib/laminar/cfg
-guix environment --ad-hoc nss-certs git -- git pull
+git pull