Skip to content

update wdmerger CI due to sneut fixes (#2940) #956

update wdmerger CI due to sneut fixes (#2940)

update wdmerger CI due to sneut fixes (#2940) #956

Triggered via push August 1, 2024 16:07
Status Success
Total duration 22s
Artifacts
check-ifdefs
14s
check-ifdefs
Fit to window
Zoom out
Zoom in