Skip to content
.github/workflows/manuscript.yml

Merge branch 'main' of https://github.com/EffectOrientedProgramming/book #1529

Sign in to view logs

Merge branch 'main' of https://github.com/EffectOrientedProgramming/book

Merge branch 'main' of https://github.com/EffectOrientedProgramming/book #1529

Run time

Learn about OS pricing on GitHub Actions
Job Run time
gen-and-preview
5m 13s
5m 13s