aboutsummaryrefslogtreecommitdiff
path: root/aux/ci/ci-build.sh
blob: 1c033fece234fbffaea49d67ed4e52e8be5fe626 (about) (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
#!/bin/sh
set -eux

PACKAGE="$1"
LOGS_DIR="$2"
read -r _ SHA _ # oldrev newrev refname
FILENAME="$(date -Is)-$SHA.log"
LOGFILE="$LOGS_DIR/$FILENAME"

{
  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 -
    if [ -f ./aux/ci/report.sh ]; then
      sh aux/ci/report.sh "$PACKAGE"
      rsync -avzzP public/ "/srv/http/$PACKAGE/"
    fi

    printf "\n>>>\n>>> CI logs added as Git note.\n>>>\n>>> Run status was %s" "$STATUS"
  }
  trap finish EXIT

  unset GIT_DIR
  REMOTE="$PWD"
  cd "$(mktemp -d)"
  git clone "$REMOTE" .
  git config --global user.email git@euandre.org
  git config --global user.name 'EuAndreh CI'
  git fetch origin refs/notes/*:refs/notes/*
  git annex get ||:

  if [ -f aux/guix/with-container.sh ]; then
    RUNNER='./aux/guix/with-container.sh'
  else
    RUNNER='sh -c'
  fi

  $RUNNER 'make clean dev-check public'

  rsync -avzzP public/ "/srv/http/$PACKAGE/" --delete
} 2>&1 | tee "$LOGFILE"