Skip to content
Create and publish Agda WASM

Update flags setup-ghc-wasm.py to disable tail-calls #65

Sign in to view logs

Update flags setup-ghc-wasm.py to disable tail-calls

Update flags setup-ghc-wasm.py to disable tail-calls #65

Triggered via push November 9, 2025 18:48
@andy0130twandy0130tw
pushed 2ad9e87
master
Status Success
Total duration 32m 4s
Artifacts 2

deploy.yml

on: push
deploy-docker-image
32m 0s
deploy-docker-image
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
agda-wasm-2ad9e87 Expired
24.1 MB
sha256:3bc507163ba047edce9d04e13514f067b95a30b73ebca0e393ed28ff7907bc5e
agda-web~agda-wasm-dist~QR430P.dockerbuild Expired
102 KB
sha256:31cb99733259e544b9bec57182c147070ba4fe185ade5cc454310ac9706bdfca