Build Package #11
nathancartlidgeAnnotations
2 errors
|
build (ARM64)
The hosted runner encountered an error while running your job. (Error Type: Aborted).
|
|
build (ARM64)
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
AgdaInput-v0.4.0-1-g7114f9a-x64.zip
Expired
|
41.7 KB |
|