Skip to content

server: check SHELL if (and only if) neither --sh nor --csh is specified #940

server: check SHELL if (and only if) neither --sh nor --csh is specified

server: check SHELL if (and only if) neither --sh nor --csh is specified #940

Re-run triggered October 11, 2024 22:51
Status Success
Total duration 3m 12s
Artifacts

codeql.yml

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