Skip to content

Remove fold_right functions to avoid stack overflows on JS #90

Remove fold_right functions to avoid stack overflows on JS

Remove fold_right functions to avoid stack overflows on JS #90

Triggered via pull request September 17, 2024 16:38
Status Success
Total duration 30s
Artifacts

test.yml

on: pull_request
test-sketch
16s
test-sketch
test-sketch-css
21s
test-sketch-css
test-sketch-lustre
20s
test-sketch-lustre
test-sketch-redraw
11s
test-sketch-redraw
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
test-sketch-redraw
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test-sketch
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test-sketch-lustre
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test-sketch-css
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/