From 1a3208d43f837768e18219ca4e79fe31bf748865 Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Fri, 31 Mar 2023 20:12:17 -0300
Subject: Revamp CI: simpler variant of the same functionality

---
 aux/ci/ci-build.sh | 65 ------------------------------------------------------
 1 file changed, 65 deletions(-)
 delete mode 100755 aux/ci/ci-build.sh

(limited to 'aux/ci/ci-build.sh')

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"
-- 
cgit v1.2.3