Skip to content

Merge branch 'release-v0.7.5' #479

Merge branch 'release-v0.7.5'

Merge branch 'release-v0.7.5' #479

Re-run triggered August 18, 2024 06:42
Status Success
Total duration 1m 44s
Artifacts

ghcjs.yml

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