Skip to content

misc: rename rivertags packages to syntaxtags #37

misc: rename rivertags packages to syntaxtags

misc: rename rivertags packages to syntaxtags #37

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

check_docs.yml

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