Skip to content
Test Workspace

fix(engine/fstar): fix implicit discrepancies in traits #2317

Sign in to view logs

fix(engine/fstar): fix implicit discrepancies in traits

fix(engine/fstar): fix implicit discrepancies in traits #2317

Triggered via pull request June 20, 2024 12:39
@W95PspW95Psp
synchronize #726
fix-719
Status Success
Total duration 3m 56s
Artifacts –

test.yml

on: pull_request
no-std-lib
29s
no-std-lib
Matrix: test-workspace
Fit to window
Zoom out
Zoom in