diff options
Diffstat (limited to 'aux/ci/report.sh')
-rwxr-xr-x | aux/ci/report.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/aux/ci/report.sh b/aux/ci/report.sh index 6f18f0f..a812d86 100755 --- a/aux/ci/report.sh +++ b/aux/ci/report.sh @@ -55,6 +55,12 @@ cat <<EOF >> "$OUT" <link rel="icon" type="image/svg+xml" href="favicon.svg" /> <title>$PROJECT - CI logs</title> +EOF + +cat aux/workflow/style.css >> "$OUT" + +cat <<EOF >> "$OUT" + <style> pre { display: inline; |