Skip to content

Merge pull request #1280 from zio/update/zio-prelude-1.0.0-RC22 #153

Merge pull request #1280 from zio/update/zio-prelude-1.0.0-RC22

Merge pull request #1280 from zio/update/zio-prelude-1.0.0-RC22 #153

Triggered via push January 31, 2024 08:01
Status Success
Total duration 9m 18s
Artifacts

site.yml

on: push
Publish Docs
0s
Publish Docs
Generate README
9m 9s
Generate README
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Generate README
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/[email protected], actions/[email protected], peter-evans/create-pull-request@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.