Skip to content
Test

[ doc ] Update CHANGELOG & release v0.5.1 #8

Sign in to view logs

[ doc ] Update CHANGELOG & release v0.5.1

[ doc ] Update CHANGELOG & release v0.5.1 #8

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-and-test (windows-latest, Agda-2.6.3)
23m 46s
build-and-test (windows-latest, Agda-2.6.4)
25m 13s
build-and-test (windows-latest, Agda-2.7.0)
24m 13s
build-and-test (ubuntu-latest, Agda-2.6.3)
17m 57s
build-and-test (ubuntu-latest, Agda-2.6.4)
19m 38s
build-and-test (ubuntu-latest, Agda-2.7.0)
18m 15s
build-and-test (macos-latest, Agda-2.6.3)
16m 1s
build-and-test (macos-latest, Agda-2.6.4)
17m 42s
build-and-test (macos-latest, Agda-2.7.0)
17m 4s
2h 59m 49s