Skip to content

Merge pull request #174 from deemp/develop #445

Merge pull request #174 from deemp/develop

Merge pull request #174 from deemp/develop #445

Triggered via push April 1, 2024 17:28
Status Success
Total duration 23m 55s
Artifacts

ghcjs.yml

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