Skip to content

dev: remove unrelated flags from config and linters command #5860

dev: remove unrelated flags from config and linters command

dev: remove unrelated flags from config and linters command #5860

Triggered via pull request December 23, 2023 18:35
Status Success
Total duration 5m 3s
Artifacts

codeql.yaml

on: pull_request
Matrix: Analyze
Fit to window
Zoom out
Zoom in