Skip to content

add external document references #15

add external document references

add external document references #15

Triggered via pull request September 28, 2023 14:27
@jhrutgersjhrutgers
opened #6
dev
Status Success
Total duration 1m 1s
Artifacts

ci.yml

on: pull_request
build-ubuntu
27s
build-ubuntu
build-all-check
2s
build-all-check
build-all
0s
build-all
Fit to window
Zoom out
Zoom in