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

Triggered via push July 24, 2025 18:12
@banacornbanacorn
pushed de3a302
ci
Status Cancelled
Total duration 14s
Artifacts –

wasm.yaml

on: push
Build
10s
Build
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Build
The operation was canceled.
Build
The run was canceled by @banacorn.
Compile WASM
The run was canceled by @banacorn.