aboutsummaryrefslogtreecommitdiff
path: root/jobs
diff options
context:
space:
mode:
Diffstat (limited to 'jobs')
-rwxr-xr-xjobs/acl2-theorems.before3
-rwxr-xr-xjobs/acl2-verify.run3
-rwxr-xr-xjobs/pull-cfg.run3
3 files changed, 6 insertions, 3 deletions
diff --git a/jobs/acl2-theorems.before b/jobs/acl2-theorems.before
index da530b7..2896556 100755
--- a/jobs/acl2-theorems.before
+++ b/jobs/acl2-theorems.before
@@ -1,3 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env bash
+set -euo pipefail
guix environment --ad-hoc nss-certs git -- git clone https://git.tojo.tokyo/acl2-theorems.git .
diff --git a/jobs/acl2-verify.run b/jobs/acl2-verify.run
index 050b435..94fa6a1 100755
--- a/jobs/acl2-verify.run
+++ b/jobs/acl2-verify.run
@@ -1,4 +1,5 @@
-#!/bin/sh
+#!/usr/bin/env bash
+set -euo pipefail
echo "--- acl2 verify: $path ---"
{
diff --git a/jobs/pull-cfg.run b/jobs/pull-cfg.run
index 35d32e4..90ccac3 100755
--- a/jobs/pull-cfg.run
+++ b/jobs/pull-cfg.run
@@ -1,4 +1,5 @@
-#!/bin/sh
+#!/usr/bin/env bash
+set -euo pipefail
cd /var/lib/laminar/cfg
guix environment --ad-hoc nss-certs git -- git pull