Skip to content

Merge pull request #1357 from zio/update/zio-prelude-1.0.0-RC35 #195

Merge pull request #1357 from zio/update/zio-prelude-1.0.0-RC35

Merge pull request #1357 from zio/update/zio-prelude-1.0.0-RC35 #195

Triggered via push November 28, 2024 21:15
Status Success
Total duration 9m 40s
Artifacts

site.yml

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