Skip to content

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

update wdmerger CI due to sneut fixes (#2940)

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

Triggered via push August 1, 2024 16:07
Status Success
Total duration 24s
Artifacts

check-ifdefs.yml

on: push
check-ifdefs
14s
check-ifdefs
Fit to window
Zoom out
Zoom in