Skip to content

get with narrow for sum types #115

get with narrow for sum types

get with narrow for sum types #115

Triggered via pull request September 20, 2024 13:41
Status Success
Total duration 4m 27s
Artifacts

site.yml

on: pull_request
Publish Docs
0s
Publish Docs
Build and Test
4m 20s
Build and Test
Generate README
0s
Generate README
Notify Docs Release
0s
Notify Docs Release
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Build and Test
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3.3.0, actions/setup-java@v3.9.0. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/