Skip to content

Report the toolkit version in the header - #42

Merged
glopesdev merged 1 commit into
harp-tech:mainfrom
glopesdev:report-toolkit-version
Sep 14, 2026
Merged

glopesdev merged 1 commit into
harp-tech:mainfrom
glopesdev:report-toolkit-version

Report the toolkit version in the header

3eb4205
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Build documentation
succeeded Sep 13, 2026 in 35s