Merge branch 'devel/html_rework' into 'main' #2

Triggered via push November 2, 2023 16:15

mikuhn

main

Status Success

Total duration 42s

Artifacts 2

python-publish.yml

on: push

Produced during runtime

Name	Size
archsim Expired	51.1 KB
github-pages Expired	1.39 MB