diff options
| author | EuAndreh <eu@euandre.org> | 2023-04-03 17:28:05 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2023-04-03 17:28:05 -0300 |
| commit | 94ad2acead5b2c070d6f1427e2531b1dfdce615d (patch) | |
| tree | 049e5d8eaf6b4942f02fb0f0b102bf7787072afb /aux/ci/report.sh | |
| parent | TODOs.md: Embed contents of "FIXME" file (diff) | |
| download | remembering-94ad2acead5b2c070d6f1427e2531b1dfdce615d.tar.gz remembering-94ad2acead5b2c070d6f1427e2531b1dfdce615d.tar.xz | |
re 's/TLD/DOMAIN/g'
Diffstat (limited to 'aux/ci/report.sh')
| -rwxr-xr-x | aux/ci/report.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/aux/ci/report.sh b/aux/ci/report.sh index 5cffda1..2f36ad5 100755 --- a/aux/ci/report.sh +++ b/aux/ci/report.sh @@ -195,7 +195,7 @@ done <main> <h1> CI logs for - <a href="https://$TLD/s/$NAME/">$NAME</a> + <a href="https://$DOMAIN/s/$NAME/">$NAME</a> </h1> <ol> EOF @@ -230,7 +230,7 @@ done <li id="$FILENAME"> <a href="#$FILENAME"><pre>#</pre></a> $STATUS_MARKER - <pre>${DURATION:-?}s</pre> - <pre>(<a href="https://$TLD/git/$NAME/commit/?id=$SHA">commit</a>)</pre> + <pre>(<a href="https://$DOMAIN/git/$NAME/commit/?id=$SHA">commit</a>)</pre> <a href="logs/$FILENAME"><pre>$FILENAME</pre></a> <pre>(<a href="data/$FILENAME">data</a>)</pre> <br /> |