Merge pull request #8426 from selmaVH1/issue-8398 #3724

Triggered via push August 18, 2023 15:46

m-kuhn

master

Status Success

Total duration 13m 8s

Artifacts 2

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

builds.yml

on: push

Matrix: build

Produced during runtime

Name	Size
html build Expired	242 MB
pdf build Expired	169 MB