Skip to content
📜 Haddock Site

Use Agda Haskell lib instead of MAlonzo (#6562) #279

Sign in to view logs

Use Agda Haskell lib instead of MAlonzo (#6562)

Use Agda Haskell lib instead of MAlonzo (#6562) #279

Triggered via push November 5, 2024 16:08
@ana-pantilieana-pantilie
pushed 6fa1bc9
master
Status Failure
Total duration 18m 14s
Artifacts –

haddock-site.yml

on: push
Deploy
17m 8s
Deploy
Fit to window
Zoom out
Zoom in

Annotations

1 error
Deploy
Process completed with exit code 1.