Skip to content

Merge branch 'release-v0.7.2' #409

Merge branch 'release-v0.7.2'

Merge branch 'release-v0.7.2' #409

Triggered via push December 12, 2023 10:36
Status Success
Total duration 5m 38s
Artifacts

ghcjs.yml

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

Annotations

1 warning
Build with GHCJS (and deploy Rzk playground)
Failed to restore: "/usr/bin/tar" failed with error: The process '/usr/bin/tar' failed with exit code 2