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

Triggered via push July 24, 2025 18:10
@banacornbanacorn
pushed 9da7679
ci
Status Cancelled
Total duration 1m 54s
Artifacts –

wasm.yaml

on: push
Build
1m 50s
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.