Maxim Solovyov 4911cbc24a github: don't checkout the head of a pull request ...

addresses this annotation:
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.

2023-06-18 21:37:41 +03:00

..

codeql-analysis.yml

github: don't checkout the head of a pull request

2023-06-18 21:37:41 +03:00

coding-style-pr.yml

github: update actions' checkout to v3

2023-06-18 21:33:16 +03:00

coding-style.yml

github: update actions' checkout to v3

2023-06-18 21:33:16 +03:00