Skip to content
Compile WASM

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

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.… #33

Annotations

3 errors

The logs for this run have expired and are no longer available.