Skip to content

ci: make region a parameter to batch script #5358

ci: make region a parameter to batch script

ci: make region a parameter to batch script #5358

Triggered via pull request August 9, 2023 21:21
Status Success
Total duration 8m 35s
Artifacts

codeql.yaml

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