Skip to content

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

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

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

Triggered via push July 20, 2024 05:37
Status Success
Total duration 5m 19s
Artifacts

manuscript.yml

on: push
gen-and-preview
5m 10s
gen-and-preview
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
gen-and-preview
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
gen-and-preview
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
gen-and-preview
The following actions uses Node.js version which is deprecated and will be forced to run on node20: test-room-7/action-update-file@v1. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/