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
..
workflows	github: don't checkout the head of a pull request	2023-06-18 21:37:41 +03:00
issue_template.md	issue_template: suggest uploading OpenGL traces	2022-08-12 11:19:47 +01:00
pull_request_template.md	github: add PR template	2020-03-06 09:19:14 +00:00