Skip to content

update wdmerger CI due to sneut fixes #1485

update wdmerger CI due to sneut fixes

update wdmerger CI due to sneut fixes #1485

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

compiler-warnings.yml

on: pull_request
compiler_warnings
8m 19s
compiler_warnings
Fit to window
Zoom out
Zoom in