[ ci ] Target both Agda-2.6.4.3 and Agda-2.7.0.1 #17
Annotations
2 errors and 2 warnings
|
The run was canceled by @banacorn.
|
|
|
|
|
|
|
The logs for this run have expired and are no longer available.
Loading