Skip to content

update wdmerger CI due to sneut fixes #1195

update wdmerger CI due to sneut fixes

update wdmerger CI due to sneut fixes #1195

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

check-params.yml

on: pull_request
check-runtime-params
27s
check-runtime-params
Fit to window
Zoom out
Zoom in