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