Compile WASM

[ git ] Merge pull request #32 from agda-web/wasm #28

Triggered via push July 23, 2025 03:20

banacorn

master

Status Success

Total duration 20m 44s

Artifacts 1

wasm.yaml

on: push

Produced during runtime

Name	Size	Digest
als Expired	10.6 MB	`sha256:a03c5eb8651369d73c468e1424c565b23acbd8bb41a2dfc9958fbb9435f9355f`