Skip to content
deploy

fix unsoundness on sum type returns #51

Sign in to view logs

fix unsoundness on sum type returns

fix unsoundness on sum type returns #51

Re-run triggered November 26, 2024 06:31
@simvuxsimvux
69fa319
main
Status Success
Total duration 24s
Artifacts –

deploy.yml

on: push
build
15s
build
Fit to window
Zoom out
Zoom in