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 b82c061..a3fc608 100755 --- a/aux/ci/report.sh +++ b/aux/ci/report.sh @@ -26,6 +26,7 @@ cat <<EOF >> "$OUT" <head> <meta charset="UTF-8" /> <meta name="viewport" content="width=device-width, initial-scale=1" /> + <link rel="icon" type="image/svg+xml" href="favicon.svg" /> <style> pre { |