Skip to content

Merge pull request #185 from github/update-codeql-submodule-6001866077-1 #995

Merge pull request #185 from github/update-codeql-submodule-6001866077-1

Merge pull request #185 from github/update-codeql-submodule-6001866077-1 #995

Triggered via push August 28, 2023 15:51
Status Success
Total duration 16s
Artifacts
check-submodules
6s
check-submodules
Fit to window
Zoom out
Zoom in