Generate Haskell code from the Agda spec #3669
Triggered via pull request
December 12, 2024 19:07
javierdiaz72
Status
Cancelled
Total duration
7m 37s
Artifacts
–
documentation.yml
on: pull_request
Test documentation deployment
7m 10s
Annotations
2 errors
|
Test documentation deployment
Canceling since a higher priority waiting request for 'Documentation-1315' exists
|
|
Test documentation deployment
The operation was canceled.
|