diff options
author | Emmanuele Bassi <ebassi@gnome.org> | 2019-04-14 20:37:21 +0100 |
---|---|---|
committer | Emmanuele Bassi <ebassi@gnome.org> | 2019-04-14 20:37:21 +0100 |
commit | 7fb9f21ee02e8876e4b36aedb440919764cbd161 (patch) | |
tree | febf34e52c5ddb56d7f20819c3b2ec57857313ba /.gitlab-ci | |
parent | d733078766a8081dbbc49089198df805d3d8d728 (diff) | |
download | gtk+-7fb9f21ee02e8876e4b36aedb440919764cbd161.tar.gz |
ci: Tweak the HTML report style
The header needs to take into account the job id field.
Diffstat (limited to '.gitlab-ci')
-rwxr-xr-x | .gitlab-ci/meson-html-report.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci/meson-html-report.py b/.gitlab-ci/meson-html-report.py index 77832d8af7..4a2b3643f4 100755 --- a/.gitlab-ci/meson-html-report.py +++ b/.gitlab-ci/meson-html-report.py @@ -52,7 +52,7 @@ header { } article { - padding-top: 160px; + padding-top: 200px; margin: 2em; } |