Test Workspace

fix(proof-libs/fstar): make implicit a few parameters #1395

Sign in to view logs

Triggered via pull request January 22, 2024 13:58

W95Psp

opened #445

monomorphize-assoc-type-universe-index

Status Success

Total duration 2m 47s

Artifacts –

test.yml

on: pull_request

Matrix: test-workspace