Skip to content
Compile WASM

[ change ] Replace WASM git submodules with cabal source-repository-p… #41

Sign in to view logs

[ change ] Replace WASM git submodules with cabal source-repository-p…

[ change ] Replace WASM git submodules with cabal source-repository-p… #41

Triggered via push July 25, 2025 10:46
@banacornbanacorn
pushed 721695b
wasm
Status Failure
Total duration 6s
Artifacts –

wasm.yaml

on: push
Build
4s
Build
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 1 warning
Build
The process '/usr/bin/git' failed with exit code 128
Build
No url found for submodule path 'wasm-submodules/agda' in .gitmodules
Build
The process '/usr/bin/git' failed with exit code 128