hax

Working around regressions in typeclass inference in F* #164

Sign in to view logs

Summary
Jobs
- hax
Run details
- Usage
- Workflow file

Triggered via pull request January 22, 2024 15:38

W95Psp

synchronize #177

karthik/secret-independence-fix-new-fstar

Status Success

Total duration 33m 47s

Artifacts –

hax.yml

on: pull_request