Merge branch 'release/0.8.1'

This commit is contained in:
Jörn-Michael Miehe 2024-11-22 17:56:30 +01:00
commit a0ee58674a
3 changed files with 4 additions and 2 deletions

View file

@ -24,7 +24,7 @@ steps:
password:
from_secret: DOCKER_PASSWORD
auto_tag: true
auto_tag_suffix: -diagram
auto_tag_suffix: diagram
dockerfile: Dockerfile.ubuntu
target: stage-diagram

View file

@ -13,6 +13,7 @@ RUN set -ex; \
kpfonts \
lastpage \
latexmk \
twemojis \
;
COPY src/usr /usr

View file

@ -14,6 +14,7 @@ RUN set -ex; \
kpfonts \
lastpage \
latexmk \
twemojis \
;
COPY src/usr /usr