Skip to content

update wdmerger CI due to sneut fixes #383

update wdmerger CI due to sneut fixes

update wdmerger CI due to sneut fixes #383

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

check_pr_branch.yml

on: pull_request
check-PR-branch
0s
check-PR-branch
Fit to window
Zoom out
Zoom in