diff options
| -rwxr-xr-x | cfg/before | 11 | ||||
| -rwxr-xr-x | jobs/acl2-theorems.before (renamed from cfg/jobs/acl2-theorems.before) | 0 | ||||
| -rwxr-xr-x | jobs/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-x | jobs/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 |