Skip to content

Merge tag '0.23.1' into dev #19

Merge tag '0.23.1' into dev

Merge tag '0.23.1' into dev #19

Triggered via push October 8, 2024 15:09
Status Success
Total duration 1m 3s
Artifacts 1

build_docs.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
309 KB