Skip to content
GHCJS (build and deploy Rzk playground)

Set a limit on WHNF computation depth #472

Sign in to view logs

Set a limit on WHNF computation depth

Set a limit on WHNF computation depth #472

Triggered via pull request June 11, 2024 12:59
@fizrukfizruk
opened #187
max-whnf-depth
Status Success
Total duration 23m 31s
Artifacts –

ghcjs.yml

on: pull_request
Build with GHCJS (and deploy Rzk playground)
23m 21s
Build with GHCJS (and deploy Rzk playground)
Fit to window
Zoom out
Zoom in