Skip to content

Revert JSON stuff, and use master for v1 releases again #208

Revert JSON stuff, and use master for v1 releases again

Revert JSON stuff, and use master for v1 releases again #208

Triggered via push February 3, 2025 12:54
Status Success
Total duration 7m 27s
Artifacts 1

CI.yml

on: push
Build manuals
2m 9s
Build manuals
Matrix: test
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
manual
97 KB