Skip to content
options

Use List.mem when looking for one specific element in list instead of… #9969

Sign in to view logs

Use List.mem when looking for one specific element in list instead of…

Use List.mem when looking for one specific element in list instead of… #9969

Triggered via push February 10, 2025 20:55
@karoliinehkaroliineh
pushed 3fca576
auto-disable-race-analyses
Status Success
Total duration 19s
Artifacts –

options.yml

on: push
Matrix: validate-conf
Fit to window
Zoom out
Zoom in