Merge branch 'devel/toy_svg' into 'main' #4

Triggered via push November 5, 2023 09:25

mikuhn

main

Status Success

Total duration 36s

Artifacts 2

python-publish.yml

on: push

Produced during runtime

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