CodeQL update (#235)#236

acocheo wants to merge 2 commits into

maincertego/.github:mainfrom

developcertego/.github:developCopy head branch name to clipboard