Skip to content
🦕 Docusaurus Site

Use Agda Haskell lib instead of MAlonzo #419

Sign in to view logs

Use Agda Haskell lib instead of MAlonzo

Use Agda Haskell lib instead of MAlonzo #419

Triggered via pull request October 24, 2024 13:44
@zeme-wanazeme-wana
synchronize #6562
ana/use-agda-haskell-lib
Status Failure
Total duration 12m 6s
Artifacts –

docusaurus-site.yml

on: pull_request
Run
5m 10s
Run
Fit to window
Zoom out
Zoom in

Annotations

1 error
Run
Process completed with exit code 1.