Skip to content
🏷️ Changelog Label

Enable Haddock for Agda #1388

Sign in to view logs

Enable Haddock for Agda

Enable Haddock for Agda #1388

Triggered via pull request November 6, 2024 09:12
@zeme-wanazeme-wana
opened #6639
AgdaHaddockYes
Status Failure
Total duration 22s
Artifacts –

changelog-label.yml

on: pull_request
Check
15s
Check
Fit to window
Zoom out
Zoom in

Annotations

1 error
Check
Changelog check failed.