Skip to content

Replace none() with discard() #1754

Replace none() with discard()

Replace none() with discard() #1754

Triggered via pull request December 7, 2023 02:44
Status Success
Total duration 13m 16s
Artifacts

codeql.yml

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