Skip to content

Merge branch 'release-v0.7.0' into develop #387

Merge branch 'release-v0.7.0' into develop

Merge branch 'release-v0.7.0' into develop #387

Triggered via push December 8, 2023 12:43
Status Failure
Total duration 4m 51s
Artifacts

ghcjs.yml

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

Annotations

1 error, 1 warning, and 1 notice
Build with GHCJS (and deploy Rzk playground)
The deploy step encountered an error: The process '/usr/bin/git' failed with exit code 1 ❌
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
Build with GHCJS (and deploy Rzk playground)
Deployment failed! ❌