Skip to content
CI

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

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

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

ci.yml

on: pull_request
Matrix: test
lint
1m 28s
lint
Matrix: benchmark
Fit to window
Zoom out
Zoom in