Skip to content
Nix

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

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

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

nix.yml

on: pull_request
nix
6m 49s
nix
Fit to window
Zoom out
Zoom in