Skip to content

update wdmerger CI due to sneut fixes #953

update wdmerger CI due to sneut fixes

update wdmerger CI due to sneut fixes #953

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

check-makefiles.yml

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