Skip to content

Merge branch 'release-v0.7.5' #478

Merge branch 'release-v0.7.5'

Merge branch 'release-v0.7.5' #478

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

ghcjs.yml

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