Lars Eggert 58735abd3d Update CodeQL per the GitHub notice, which said: (#1111) ... > 1 issue was detected with this workflow: git checkout HEAD^2 is no longer > necessary. Please remove this step as Code Scanning recommends analyzing the > merge commit for best results.		2020-12-17 10:41:49 -08:00
..
codeql-analysis.yml	Update CodeQL per the GitHub notice, which said: (#1111)	2020-12-17 10:41:49 -08:00