Skip to content
CodeQL

allow to change the pipename used by the cli with --pipename #330

Sign in to view logs

allow to change the pipename used by the cli with --pipename

allow to change the pipename used by the cli with --pipename #330

Triggered via push September 11, 2023 15:27
@thomas-manginthomas-mangin
pushed 6f78f59
main
Status Success
Total duration 4m 30s
Artifacts –

codeql-analysis.yml

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