Skip to content
Compile WASM

[ change ] Deprecate Agda-2.6.3 because it does not build with GHC 9.… #32

Sign in to view logs

[ change ] Deprecate Agda-2.6.3 because it does not build with GHC 9.…

[ change ] Deprecate Agda-2.6.3 because it does not build with GHC 9.… #32

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build
1m 50s
1m 50s