Skip to content

Merge branch 'release-v0.7.5' into develop #480

Merge branch 'release-v0.7.5' into develop

Merge branch 'release-v0.7.5' into develop #480

Triggered via push August 18, 2024 06:35
Status Success
Total duration 5m 3s
Artifacts

ghcjs.yml

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