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