Skip to content

update wdmerger CI due to sneut fixes #2029

update wdmerger CI due to sneut fixes

update wdmerger CI due to sneut fixes #2029

Triggered via pull request August 1, 2024 13:32
Status Success
Total duration 30s
Artifacts

check-ifdefs.yml

on: pull_request
check-ifdefs
17s
check-ifdefs
Fit to window
Zoom out
Zoom in