Merge branch 'devel/more_toy_svg_changes' into dev #8

Triggered via push November 12, 2023 08:42

mikuhn

main

Status Success

Total duration 45s

Artifacts 2

python-publish.yml

on: push

Produced during runtime

Name	Size
archsim Expired	54.6 KB
github-pages Expired	1.31 MB