Skip to content

update wdmerger CI due to sneut fixes (#2940) #1795

update wdmerger CI due to sneut fixes (#2940)

update wdmerger CI due to sneut fixes (#2940) #1795

Triggered via push August 1, 2024 16:07
Status Success
Total duration 1m 49s
Artifacts

gh-pages.yml

on: push
Fit to window
Zoom out
Zoom in