Specs

Working around regressions in typeclass inference in F* #369

Sign in to view logs

Triggered via pull request January 22, 2024 15:38

W95Psp

synchronize #177

karthik/secret-independence-fix-new-fstar

Status Success

Total duration 10m 0s

Artifacts –

specs.yml

on: pull_request

Matrix: build