Skip to content
CI

[ git ] Merge pull request #34 from agda-web/wasm-fix-compat #67

Sign in to view logs

[ git ] Merge pull request #34 from agda-web/wasm-fix-compat

[ git ] Merge pull request #34 from agda-web/wasm-fix-compat #67

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-and-test (windows-latest, Agda-2.6.4.3)
6m 9s
build-and-test (windows-latest, Agda-2.6.3)
12s
build-and-test (macos-13, Agda-2.7.0.1)
3m 36s
build-and-test (windows-latest, Agda-2.7.0.1)
6m 32s
build-and-test (macos-latest, Agda-2.7.0.1)
3m 17s
build-and-test (macos-latest, Agda-2.6.3)
2m 19s
build-and-test (ubuntu-latest, Agda-2.7.0.1)
3m 9s
build-and-test (macos-latest, Agda-2.6.4.3)
2m 22s
build-and-test (macos-13, Agda-2.6.3)
6m 8s
build-and-test (ubuntu-latest, Agda-2.6.4.3)
3m 18s
build-and-test (ubuntu-latest, Agda-2.6.3)
3m 22s
build-and-test (macos-13, Agda-2.6.4.3)
2m 58s
43m 22s