delete CodeQL from hosted tool cache at start of PR, Push, and Release actions#283

chrisfenner merged 1 commit into

mainTrustedComputingGroup/pandoc:mainfrom

delete-codeqlTrustedComputingGroup/pandoc:delete-codeqlCopy head branch name to clipboard