aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2024-10-04 02:33:49 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2024-10-04 02:34:01 +0900
commit5924286f6bf5618597977f22be1937ea6ce1ec62 (patch)
tree8caf3b5b1efcac7864df9795ae8e081013021adc
parentcdaf8688594dc0e2e46ff9e5caa2ff5a137c2f23 (diff)
Add infix-to-prefix job
l---------jobs/infix-to-prefix.develop.run1
-rwxr-xr-xjobs/infix-to-prefix.run8
2 files changed, 9 insertions, 0 deletions
diff --git a/jobs/infix-to-prefix.develop.run b/jobs/infix-to-prefix.develop.run
new file mode 120000
index 0000000..059cf64
--- /dev/null
+++ b/jobs/infix-to-prefix.develop.run
@@ -0,0 +1 @@
+infix-to-prefix.run \ No newline at end of file
diff --git a/jobs/infix-to-prefix.run b/jobs/infix-to-prefix.run
new file mode 100755
index 0000000..5ad47b4
--- /dev/null
+++ b/jobs/infix-to-prefix.run
@@ -0,0 +1,8 @@
+#!/usr/bin/env bash
+set -euo pipefail
+
+git clone https://git.tojo.tokyo/infix-to-prefix.git .
+git checkout "${branch:-master}"
+git log -n 1
+
+guix shell --pure -m manifest.scm -- make test