Skip to content
🔗 Broken Links

Enable Haddock for Agda (#6639) #489

Sign in to view logs

Enable Haddock for Agda (#6639)

Enable Haddock for Agda (#6639) #489

Triggered via push November 6, 2024 11:02
@zeme-wanazeme-wana
pushed c497f0e
master
Status Failure
Total duration 1m 49s
Artifacts –

broken-links.yml

on: push
Check
1m 43s
Check
Fit to window
Zoom out
Zoom in

Annotations

1 error
Check
Process completed with exit code 1.