ci: Build helpers on push [skip ci]

This commit is contained in:
Helpers compiler [bot]
2026-07-31 10:25:11 +00:00
parent e843861a0f
commit 9541948aad
+1
View File
@@ -44,6 +44,7 @@
\usepackage{titlesec} \usepackage{titlesec}
\usepackage{centernot} \usepackage{centernot}
\usepackage{todonotes} \usepackage{todonotes}
\usepackage{bm}
\newcounter{descriptorShadeStrength} \newcounter{descriptorShadeStrength}
\newcounter{shadeStrength} \newcounter{shadeStrength}