Merge branch next and update CodeQL to v2.23.3
#4771
generate-html-docs.yml
on: pull_request
Generate HTML documentation
24s