From 6037427388adda47b3cae210324ce7340a97065d Mon Sep 17 00:00:00 2001 From: Masaya Tojo 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 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