diff options
Diffstat (limited to 'aux/ci')
| -rwxr-xr-x | aux/ci/ci-build.sh | 2 | ||||
| -rwxr-xr-x | aux/ci/report.sh | 6 |
2 files changed, 5 insertions, 3 deletions
diff --git a/aux/ci/ci-build.sh b/aux/ci/ci-build.sh index b6769a9..60af813 100755 --- a/aux/ci/ci-build.sh +++ b/aux/ci/ci-build.sh @@ -27,7 +27,7 @@ EOF cd - sh aux/ci/report.sh "$PACKAGE" - rsync -a public/ "/srv/http/$PACKAGE/" --delete + rsync -av public/ "/srv/http/$PACKAGE/" --delete printf "\n>>>\n>>> CI logs added as Git note.\n>>>\n>>> Run status was %s" "$STATUS" } diff --git a/aux/ci/report.sh b/aux/ci/report.sh index 65d3335..2b40f3e 100755 --- a/aux/ci/report.sh +++ b/aux/ci/report.sh @@ -1,7 +1,8 @@ #!/bin/sh set -eu -PROJECT_UC="$1" +PROJECT="$1" +TLD="$(cat aux/tld.txt)" PASS='✅' FAIL='❌' @@ -27,6 +28,7 @@ cat <<EOF >> "$OUT" <meta charset="UTF-8" /> <meta name="viewport" content="width=device-width, initial-scale=1" /> <link rel="icon" type="image/svg+xml" href="favicon.svg" /> + <title>CI logs for $PROJECT</title> <style> pre { @@ -36,7 +38,7 @@ cat <<EOF >> "$OUT" </head> <body> <h1> - CI logs for $PROJECT_UC + CI logs for <a href="https://$TLD/$PROJECT/">$PROJECT</a> </h1> <ul> EOF |