Skip to content
CodeQL

main: Exit if input files are not named pipes. #562

Sign in to view logs

main: Exit if input files are not named pipes.

main: Exit if input files are not named pipes. #562

Triggered via pull request August 17, 2023 17:40
@stephen-foxstephen-fox
synchronize #114
check-inputs-file-type
Status Success
Total duration 2m 10s
Artifacts –

codeql.yml

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