8 ms·

I wrote a couple userscripts for myself at work that put the information I usually care about from job logs on gitlab right at the top of the page.