Skip to content
Test

[ ci ] Only setup the Haskell environment when failed to restore prev… #661

Sign in to view logs

[ ci ] Only setup the Haskell environment when failed to restore prev…

[ ci ] Only setup the Haskell environment when failed to restore prev… #661

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-and-test (windows-latest, Agda-2.7.0)
2m 38s
build-and-test (ubuntu-latest, Agda-2.7.0)
43s
build-and-test (macos-latest, Agda-2.7.0)
51s
4m 12s