Skip to content

Fix filter_iter so that exception is caught #422

Fix filter_iter so that exception is caught

Fix filter_iter so that exception is caught #422

Triggered via push February 27, 2025 13:52
Status Success
Total duration 46s
Artifacts 1
Scorecard analysis
37s
Scorecard analysis
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
SARIF file Expired
18.8 KB
sha256:196a63f284892f50ee7b5fb272ac76a27136cea5b46e5a985de2add461bf4de8