Pin docs workflow to v12 and build docs on tags#173

jeromekelleher merged 1 commit intotskit-dev:maintskit-dev/tstrait:mainfrom

jeromekelleher:pin-docsjeromekelleher/tstrait:pin-docsCopy head branch name to clipboard