Skip to content

Add PROCNAME to github env#132

Merged
djolertrk merged 1 commit intomasterfrom codeqlOct 31, 2024

Commits

Commits on Oct 31, 2024