Skip to content
Test

[ fix ] Remove hardcoded version assertions in fromCommands test #972

Sign in to view logs

[ fix ] Remove hardcoded version assertions in fromCommands test

[ fix ] Remove hardcoded version assertions in fromCommands test #972

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-and-test (windows-latest, Agda-2.6.4)
2m 22s
build-and-test (windows-latest, Agda-2.6.3)
2m 29s
build-and-test (windows-latest, Agda-2.7.0)
2m 23s
7m 14s