Skip to content

Merge pull request #188 from rzk-lang/186-update-deps #475

Merge pull request #188 from rzk-lang/186-update-deps

Merge pull request #188 from rzk-lang/186-update-deps #475

Triggered via push August 17, 2024 22:57
Status Success
Total duration 23m 12s
Artifacts

ghcjs.yml

on: push
Build with GHCJS (and deploy Rzk playground)
23m 4s
Build with GHCJS (and deploy Rzk playground)
Fit to window
Zoom out
Zoom in