Skip to content

doc: initialize a user-facing mdbook #3

doc: initialize a user-facing mdbook

doc: initialize a user-facing mdbook #3

Triggered via pull request July 9, 2024 14:25
Status Success
Total duration 43s
Artifacts

build-userdocs.yml

on: pull_request
Test Aeneas user docs
4s
Test Aeneas user docs
Fit to window
Zoom out
Zoom in