Skip to content

small cleanup of latex running inside the CI

Carsten Burgard requested to merge patch-1 into master

the names of some jobs were adjusted, and latex was instructed to run twice instead of once only in order to resolve references

Merge request reports