Skip to content
Publish Documentation

Merge pull request #262 from mregmi/doc_split #15

Sign in to view logs

Merge pull request #262 from mregmi/doc_split

Merge pull request #262 from mregmi/doc_split #15

Triggered via push June 14, 2024 17:56
@uMartinXuuMartinXu
pushed ede9d16
main
Status Success
Total duration 34s
Artifacts –

publish.yml

on: push
build
24s
build
Fit to window
Zoom out
Zoom in