Skip to content

Remove CodeQL from CI#1592

Merged
mergify[bot] merged 2 commits intomainfrom dev/remove_codeqlMay 26, 2022

Commits

Commits on May 26, 2022