Merging 0782554 into v1

Conductor for this PR is @edoardopirovano

Contains the following pull requests:

• Mergeback v1.0.25 refs/heads/v1 into main #835 - Mergeback v1.0.25 refs/heads/v1 into main (@edoardopirovano)
• Bump default CodeQL version to 2.7.3 #837 - Bump default CodeQL version to 2.7.3 (@aeisenberg)
• Revert "Bump default CodeQL version to 2.7.3" #839 - Revert "Bump default CodeQL version to 2.7.3" (@aeisenberg)
• Remove rmDir references #840 - Remove rmDir references (@adityasharad)
• Always use force: true for del #841 - Always use force: true for del (@aeisenberg)
• Prepare for the CodeQL 2.7.3 release #842 - Prepare for the CodeQL 2.7.3 release (@aeisenberg)
• Refuse to use broken versions in the toolcache #845 - Refuse to use broken versions in the toolcache (@edoardopirovano)

Please review the following:

• The CHANGELOG displays the correct version and date.
• The CHANGELOG includes all relevant, user-facing changes since the last release.
• There are no unexpected commits being merged into the v1 branch.
• The docs team is aware of any documentation changes that need to be released.
• The mergeback PR is merged back into main after this PR is merged.