From d9aef665013e202ab4dac844e9dcd029a43f4222 Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Sun, 10 Jan 2021 10:31:28 -0300
Subject: Move scripts/ to build-aux/

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

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

diff --git a/scripts/ci-build.sh b/scripts/ci-build.sh
deleted file mode 100755
index f9602a1..0000000
--- a/scripts/ci-build.sh
+++ /dev/null
@@ -1,40 +0,0 @@
-#!/usr/bin/env bash
-set -Eeuo pipefail
-set -x
-
-PREFIX="$LOGS_PREFIX/vps"
-mkdir -p "$PREFIX"
-read -r _ SHA _ # oldrev newrev refname
-FILENAME="$(date -Is)-$SHA.log"
-LOGFILE="$PREFIX/$FILENAME"
-exec &> >(tee -a "$LOGFILE")
-
-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)"
-  popd
-  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"
-  printf "\n\n>>> CI logs added as Git note."
-}
-trap finish EXIT
-
-unset GIT_DIR
-CLONE="$(mktemp -d)"
-git clone . "$CLONE"
-pushd "$CLONE"
-git config --global user.email git@euandre.org
-git config --global user.name 'EuAndreh CI'
-
-./scripts/with-container.sh 'make clean check public'
-rm -rf /srv/http/vps/ && mv public/ /srv/http/vps/
-- 
cgit v1.2.3