Skip to content
CI

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

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 #253

Triggered via pull request April 10, 2024 07:23
@W95PspW95Psp
opened #117
update-hax--let-rec--empty-list-types
Status Success
Total duration 22m 11s
Artifacts –

ci.yml

on: pull_request
Matrix: test
lint
35s
lint
Matrix: benchmark
Fit to window
Zoom out
Zoom in