Skip to content
CI

[ fix ] Update test.yaml WASM build to match wasm.yaml approach #83

Sign in to view logs

[ fix ] Update test.yaml WASM build to match wasm.yaml approach

[ fix ] Update test.yaml WASM build to match wasm.yaml approach #83

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build WASM
2h 16m 41s
build-and-test (windows-latest, Agda-2.6.4.3)
3m 13s
build-and-test (ubuntu-latest, Agda-2.7.0.1)
1m 7s
build-and-test (windows-latest, Agda-2.7.0.1)
3m 9s
build-and-test (ubuntu-latest, Agda-2.8.0)
1m 17s
build-and-test (windows-latest, Agda-2.8.0)
3m 40s
build-and-test (macos-13, Agda-2.8.0)
9m 13s
build-and-test (macos-latest, Agda-2.7.0.1)
5m 41s
build-and-test (macos-13, Agda-2.7.0.1)
6m 51s
build-and-test (ubuntu-latest, Agda-2.6.4.3)
1m 13s
build-and-test (macos-latest, Agda-2.8.0)
5m 2s
build-and-test (macos-13, Agda-2.6.4.3)
7m 49s
build-and-test (macos-latest, Agda-2.6.4.3)
6m 27s
3h 11m 23s