Skip to content
CI

Update ALS WASM to build with Agda v2.8.0 #77

Sign in to view logs

Update ALS WASM to build with Agda v2.8.0

Update ALS WASM to build with Agda v2.8.0 #77

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-and-test (windows-latest, Agda-2.7.0.1)
3m 20s
build-and-test (windows-latest, Agda-2.8.0)
3m 13s
build-and-test (ubuntu-latest, Agda-2.6.4.3)
1m 2s
build-and-test (ubuntu-latest, Agda-2.8.0)
1m 15s
build-and-test (ubuntu-latest, Agda-2.7.0.1)
1m 10s
build-and-test (macos-latest, Agda-2.6.4.3)
4m 38s
build-and-test (windows-latest, Agda-2.6.4.3)
3m 32s
build-and-test (macos-13, Agda-2.6.4.3)
10m 34s
build-and-test (macos-latest, Agda-2.7.0.1)
4m 46s
build-and-test (macos-latest, Agda-2.8.0)
7m 17s
build-and-test (macos-13, Agda-2.8.0)
6m 56s
build-and-test (macos-13, Agda-2.7.0.1)
6m 41s
Build WASM
-1s
54m 23s