Skip to content

update wdmerger CI due to sneut fixes #375

update wdmerger CI due to sneut fixes

update wdmerger CI due to sneut fixes #375

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

clang-tidy.yml

on: pull_request
Fit to window
Zoom out
Zoom in