Skip to content
hax

Working around regressions in typeclass inference in F* #164

Sign in to view logs

Working around regressions in typeclass inference in F*

Working around regressions in typeclass inference in F* #164

Run time

Learn about OS pricing on GitHub Actions
Job Run time
hax
33m 36s
33m 36s