Skip to content
CI

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

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 #78

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-and-test (windows-latest, Agda-2.6.4.3)
3m 13s
build-and-test (windows-latest, Agda-2.7.0.1)
11s
build-and-test (ubuntu-latest, Agda-2.8.0)
1m 25s
build-and-test (windows-latest, Agda-2.8.0)
3m 26s
build-and-test (macos-latest, Agda-2.8.0)
6m 36s
build-and-test (ubuntu-latest, Agda-2.7.0.1)
1m 14s
build-and-test (macos-latest, Agda-2.6.4.3)
6m 13s
build-and-test (macos-latest, Agda-2.7.0.1)
4m 59s
build-and-test (ubuntu-latest, Agda-2.6.4.3)
1m 14s
build-and-test (macos-13, Agda-2.8.0)
11m 33s
build-and-test (macos-13, Agda-2.7.0.1)
11m 26s
build-and-test (macos-13, Agda-2.6.4.3)
10m 5s
Build WASM
-1s
1h 1m 34s