Compile WASM

Build WASM modules via cabal #22

Re-run triggered July 5, 2025 11:41

banacorn

#32

agda-web:wasm

Status Success

Total duration 23m 31s

Artifacts 1

wasm.yaml

on: pull_request

1 warning

Attempt 1 failed. Reason: Timeout of 600000ms hit

Produced during runtime

Name	Size	Digest
als Expired	10.6 MB	`sha256:2a6fe7f93ff2a43ca556de07451b6a27fd886052a2ce1832b46c16fe314aa2ad`