Skip to content

nodogsplash: update to 5.0.1 #647

nodogsplash: update to 5.0.1

nodogsplash: update to 5.0.1 #647

Triggered via pull request July 22, 2023 18:09
@mwarningmwarning
synchronize #997
nds
Status Success
Total duration 54m 58s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

formal.yml

on: pull_request
Test Formalities
5s
Test Formalities
Fit to window
Zoom out
Zoom in