aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xcfg/before11
-rwxr-xr-xjobs/acl2-theorems.before (renamed from cfg/jobs/acl2-theorems.before)0
-rwxr-xr-xjobs/acl2-theorems.run (renamed from cfg/jobs/acl2-theorems.run)0
-rw-r--r--jobs/acl2-verify.sh (renamed from cfg/jobs/acl2-verify.sh)0
-rwxr-xr-xjobs/pull-cfg.run (renamed from cfg/jobs/pull-cfg.run)0
5 files changed, 0 insertions, 11 deletions
diff --git a/cfg/before b/cfg/before
deleted file mode 100755
index 374ddd4..0000000
--- a/cfg/before
+++ /dev/null
@@ -1,11 +0,0 @@
-#!/bin/sh
-set -eu
-
-PATH="${PATH}:/run/current-system/profile/bin:/run/current-system/profile/sbin"
-
-GUIX_PROFILE="/var/lib/laminar/.config/guix/current"
-. "$GUIX_PROFILE/etc/profile"
-
-env | while read kv; do
- laminarc set "$kv"
-done
diff --git a/cfg/jobs/acl2-theorems.before b/jobs/acl2-theorems.before
index da530b7..da530b7 100755
--- a/cfg/jobs/acl2-theorems.before
+++ b/jobs/acl2-theorems.before
diff --git a/cfg/jobs/acl2-theorems.run b/jobs/acl2-theorems.run
index 9df1723..9df1723 100755
--- a/cfg/jobs/acl2-theorems.run
+++ b/jobs/acl2-theorems.run
diff --git a/cfg/jobs/acl2-verify.sh b/jobs/acl2-verify.sh
index ea65156..ea65156 100644
--- a/cfg/jobs/acl2-verify.sh
+++ b/jobs/acl2-verify.sh
diff --git a/cfg/jobs/pull-cfg.run b/jobs/pull-cfg.run
index 8ed93ff..8ed93ff 100755
--- a/cfg/jobs/pull-cfg.run
+++ b/jobs/pull-cfg.run