From e07a018b2db0e605cad0af733b05b7f20e89c4f9 Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Sun, 13 Jun 2021 18:55:38 -0300
Subject: aux/ci/report.sh: Include title in the generated HTML page

---
 aux/ci/report.sh | 1 +
 1 file changed, 1 insertion(+)

(limited to 'aux')

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 {
-- 
cgit v1.2.3