try to fix pipeline

This commit is contained in:
Leon Vatthauer 2024-02-11 15:22:51 +01:00
parent 8b435ffad5
commit 041a4c1748
Signed by: leonv
SSH key fingerprint: SHA256:G4+ddwoZmhLPRB1agvXzZMXIzkVJ36dUYZXf5NxT+u8

View file

@ -12,6 +12,7 @@
fontsize=\small, fontsize=\small,
frame=lines frame=lines
} }
\usepackage[dvipsnames]{xcolor} % Coloured text etc.
\usepackage{amssymb} \usepackage{amssymb}
\usepackage{amsthm} \usepackage{amsthm}
\usepackage{thmtools} \usepackage{thmtools}
@ -103,7 +104,6 @@
\usepackage{noto-mono} \usepackage{noto-mono}
\usepackage[colorinlistoftodos,prependcaption,textsize=tiny]{todonotes} \usepackage[colorinlistoftodos,prependcaption,textsize=tiny]{todonotes}
\usepackage{xargs} \usepackage{xargs}
\usepackage[dvipsnames]{xcolor} % Coloured text etc.
%\usepackage{fontspec} %\usepackage{fontspec}
%\setmonofont{Noto Sans Mono} %\setmonofont{Noto Sans Mono}