Skip to content
Test Action

Change name to "Agda Setup Action" to avoid Marketplace clash #20

Sign in to view logs

Change name to "Agda Setup Action" to avoid Marketplace clash

Change name to "Agda Setup Action" to avoid Marketplace clash #20

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test (macos-15-intel, 2.3)
20s
test (windows-latest, 2.3)
27s
test (ubuntu-latest, 2.3)
9s
test (macos-latest, 2.3)
13s
1m 9s