Skip to content

Use key in dict instead of key in dict.keys() #317

Use key in dict instead of key in dict.keys()

Use key in dict instead of key in dict.keys() #317

Triggered via push August 15, 2024 14:40
Status Success
Total duration 4m 54s
Artifacts 1
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
UtrechtUniversity~yoda-ruleset~80MEH5.dockerbuild Expired
168 KB