diff options
Diffstat (limited to 'aux/ci')
| -rwxr-xr-x | aux/ci/report.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/aux/ci/report.sh b/aux/ci/report.sh index 65d3335..8a4c74f 100755 --- a/aux/ci/report.sh +++ b/aux/ci/report.sh @@ -27,6 +27,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_UC</title> <style> pre { |