Skip to content

misc: rename rivertags packages to syntaxtags #36

misc: rename rivertags packages to syntaxtags

misc: rename rivertags packages to syntaxtags #36

Triggered via pull request March 1, 2024 17:24
Status Success
Total duration 28s
Artifacts

check_docs.yml

on: pull_request
build-technical-documentation
20s
build-technical-documentation
Fit to window
Zoom out
Zoom in