Compile WASM

[ git ] Merge pull request #34 from agda-web/wasm-fix-compat #30

Triggered via push July 23, 2025 09:02

banacorn

master

Status Success

Total duration 11m 24s

Artifacts 1

wasm.yaml

on: push

Produced during runtime

Name	Size	Digest
als Expired	12.7 MB	`sha256:db1c3f717b6cbf495e780f4f9ff5439a398bbcd676cdb7e7d16c762193412c79`