From 6037427388adda47b3cae210324ce7340a97065d Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Tue, 14 Sep 2021 12:10:50 +0900
Subject: ci: Remove build-acl2 job.

---
 jobs/build-acl2.run | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100755 jobs/build-acl2.run

(limited to 'jobs')

diff --git a/jobs/build-acl2.run b/jobs/build-acl2.run
deleted file mode 100755
index 00b163d..0000000
--- a/jobs/build-acl2.run
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/usr/bin/env bash
-set -euo pipefail
-
-guix build acl2
-- 
cgit v1.2.3