GitLab

For bugs and feature requests

A long overdue feature anyway

An oversight from renaming

Fix links, add Makefile section, etc.

Removed duplicated test names

pytest is an implementation detail

If grep is called on multiple files, it otherwise prints filenames for its matches, breaking the regex

CI config now dry as a desert, with everything based around the (also improvided) Makefile(s)

This allows git metadata to be inserted when working locally.

Also invert the logical tests for clearer intent.

This flushes all PDFs fetched from the cache

Caching can be an important performance boost.
With no caching, LaTeX has to regenerate all auxiliary files,
including glossary and bib files, every time.
This also applies to SVG files that were automatically
converted to PDF using the svg package (with inkscape
in the background). Discarding these PDFs each time is also
costly.

Existing auxiliary files help latexmk finish in fewer runs.

In a first attempt, caching reduced pipeline run times by 50%.

Manual retrieval with 'git rev-parse' did not work in CI

Also improve logging output

One regular clean job ('mostlyclean'), and one ('clean') thorough one

Always a good idea, else black magic happens

Idea from https://github.com/lsangild/ITAMS/blob/d23841b09ff5eab38dd533aa2428ca9f25557d24/Report/texsetup/lua/utility.lua