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