GH Action build updates.#3185

Bill Traynor (wmat) wants to merge 3 commits into

mainriscv/riscv-isa-manual:mainfrom

3183-gh-action-isa-build-time-enhancementsriscv/riscv-isa-manual:3183-gh-action-isa-build-time-enhancementsCopy head branch name to clipboard