1 files changed, 0 insertions, 65 deletions
diff --git a/aux/ci/ci-build.sh b/aux/ci/ci-build.sh
deleted file mode 100755
index 2ec0102..0000000
--- a/aux/ci/ci-build.sh
+++ /dev/null
@@ -1,65 +0,0 @@
-#!/bin/sh
-set -eux
-
-PROJECT="$1"
-LOGS_DIR="$2"
-SHA="$3"
-FILENAME="$(date -Is)-$SHA.log"
-LOGFILE="$LOGS_DIR/$FILENAME"
-
-mkdtemp() {
-	name="$(echo 'mkstemp(template)' |
-		m4 -D template="${TMPDIR:-/tmp}/m4-tmpname.")"
-	rm -f "$name"
-	mkdir "$name"
-	echo "$name"
-}
-
-{
-	echo "Starting CI job at: $(date -Is)"
-
-	finish() {
-		STATUS="$?"
-		printf "\n\n>>> exit status was %s\n" "$STATUS"
-		echo "Finishing CI job at: $(date -Is)"
-		cd -
-		NOTE=$(cat <<EOF
-See CI logs with:
-	git notes --ref=refs/notes/ci-logs show $SHA
-	git notes --ref=refs/notes/ci-data show $SHA
-EOF
-)
-		git notes --ref=refs/notes/ci-data add -f -m "$STATUS $FILENAME"
-		git notes --ref=refs/notes/ci-logs add -f -F "$LOGFILE"
-		git notes append -m "$NOTE"
-
-		cd -
-		git fetch origin refs/notes/*:refs/notes/*
-		sh aux/ci/report.sh -n "$PROJECT" -o public
-		rsync -av public/ "/srv/http/$PROJECT/" --delete
-
-		if [ -f aux/guix/with-container.sh ]; then
-			cp "$(sh aux/guix/with-container.sh -C)" \
-				"/srv/http/$PROJECT/docker.tar.gz"
-		fi
-
-		printf '\n>>>\n>>> CI logs added as Git note.\n>>>\n>>> Run status was %s\n>>>\n\n' \
-			"$STATUS"
-	}
-	trap finish EXIT
-
-	unset GIT_DIR
-	REMOTE="$PWD"
-	cd "$(mkdtemp)"
-	git clone "$REMOTE" .
-	git config --global user.email git@euandre.org
-	git config --global user.name 'EuAndreh CI'
-
-	if [ -f aux/guix/with-container.sh ]; then
-		RUNNER='sh aux/guix/with-container.sh'
-	else
-		RUNNER='sh -c'
-	fi
-
-	$RUNNER 'make clean public dev-check'
-} 2>&1 | tee "$LOGFILE"