Deploy #79
Annotations
1 warning
Compress the Agda executable
Input 'file' has been deprecated with message: Prefer "files" supporting globs instead of "file"
|
The logs for this run have expired and are no longer available.
Loading