Skip to content

Merge branch 'release-v0.7.4' into develop #451

Merge branch 'release-v0.7.4' into develop

Merge branch 'release-v0.7.4' into develop #451

Triggered via push April 1, 2024 18:26
Status Success
Total duration 4m 59s
Artifacts

ghcjs.yml

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