Skip to content
Test

[ change ] Cleanup Log.t #1001

Sign in to view logs

[ change ] Cleanup Log.t

[ change ] Cleanup Log.t #1001

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-and-test (windows-latest, Agda-2.7.0)
2m 54s
2m 54s