diff options
| -rwxr-xr-x | aux/ci/report.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/aux/ci/report.sh b/aux/ci/report.sh index 2a4ad65..2b50106 100755 --- a/aux/ci/report.sh +++ b/aux/ci/report.sh @@ -53,7 +53,7 @@ cat <<EOF >> "$OUT" <meta name="viewport" content="width=device-width, initial-scale=1" /> <meta name="description" content="CI logs for $PROJECT" /> <link rel="icon" type="image/svg+xml" href="favicon.svg" /> - <title>CI logs for $PROJECT</title> + <title>$PROJECT - CI logs</title> <style> pre { |