Skip to content
CI

[ ci ] Target both Agda-2.6.4.3 and Agda-2.7.0.1 #17

Sign in to view logs

[ ci ] Target both Agda-2.6.4.3 and Agda-2.7.0.1

[ ci ] Target both Agda-2.6.4.3 and Agda-2.7.0.1 #17

Annotations

1 error and 2 warnings

The logs for this run have expired and are no longer available.