From 15375dc93213c22d9b79fa728ba6f849f102eeba Mon Sep 17 00:00:00 2001
From: Aaron Fenyes <aaron.fenyes@fareycircles.ooo>
Date: Wed, 26 Mar 2025 02:29:17 -0700
Subject: [PATCH] Remove the CI image setup script

The CI workflow now builds and tags the CI image automatically, so we
don't need the manual setup script anymore.
---
 tools/ci-image/build | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100755 tools/ci-image/build

diff --git a/tools/ci-image/build b/tools/ci-image/build
deleted file mode 100755
index d1a90dc..0000000
--- a/tools/ci-image/build
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/bin/sh
-
-# build and tag the Docker image we use for continuous integration
-
-docker build . --tag dyna3:ci
\ No newline at end of file