small fixes (#530) #1225

Triggered via push February 10, 2025 16:41

main

Status Success

Total duration 3m 37s

Artifacts 2

build-pdf.yml

on: push

Produced during runtime

Name	Size
Build Artifacts	1.58 MB
github-pages Expired	412 KB