minor updates to code and docs generation (#180) #64

Job	Run time
Set workflow variables	2s
Validate release	3s
Extract version from branch	11s
Compile source code	42s
Run tests	51s
Package binaries	31s
Publish documentation / Validate branch	2s
Publish documentation / Workflow variables	4s
Publish documentation / Extract version	7s
Publish documentation / Generate documentation	40s
Publish documentation / Publish documentation	8s
Publish package	10m 41s
Create release	0s
Merge ${{ github.ref_name }} into main	0s
Create support branch for ${{ github.ref_name }}	0s
	14m 2s

Provide feedback