Skip to content
hax

fix(f*/lax): latest hax: fixes let-rec and types on empty lists #350

Sign in to view logs

fix(f*/lax): latest hax: fixes let-rec and types on empty lists

fix(f*/lax): latest hax: fixes let-rec and types on empty lists #350

Triggered via pull request July 3, 2024 08:37
@franziskuskieferfranziskuskiefer
synchronize #117
update-hax--let-rec--empty-list-types
Status Success
Total duration 13m 35s
Artifacts –

hax.yml

on: pull_request
hax
13m 26s
hax
Fit to window
Zoom out
Zoom in