diff options
| -rwxr-xr-x | aux/ci/report.sh | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/aux/ci/report.sh b/aux/ci/report.sh index a812d86..e900e26 100755 --- a/aux/ci/report.sh +++ b/aux/ci/report.sh @@ -45,7 +45,8 @@ for c in $(git notes list | cut -d\ -f2); do > "$OUTDIR/ci-logs/$FILENAME" done -cat <<EOF >> "$OUT" +{ + cat <<EOF <!DOCTYPE html> <html lang="en"> <head> @@ -57,9 +58,9 @@ cat <<EOF >> "$OUT" EOF -cat aux/workflow/style.css >> "$OUT" + cat aux/workflow/style.css -cat <<EOF >> "$OUT" + cat <<EOF <style> pre { @@ -78,6 +79,7 @@ cat <<EOF >> "$OUT" </h1> <ol> EOF +} > "$OUT" for f in $(find "$OUTDIR/ci-data/" -type f | LANG=C.UTF-8 sort -r); do DATA="$(cat "$f")" |