Skip to content

Replace none() with discard() (#2377) #477

Replace none() with discard() (#2377)

Replace none() with discard() (#2377) #477

Triggered via push December 20, 2023 22:11
Status Success
Total duration 14m 18s
Artifacts

codeql.yml

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