Skip to content

wrap the haddock uploading with date output to time it #3777

wrap the haddock uploading with date output to time it

wrap the haddock uploading with date output to time it #3777

Triggered via push May 13, 2024 13:40
Status Success
Total duration 2m 29s
Artifacts

check.yml

on: push
Fit to window
Zoom out
Zoom in