Skip to content
Test Workspace

fix(F*): always use Type0, never Type #2134

Sign in to view logs

fix(F*): always use Type0, never Type

fix(F*): always use Type0, never Type #2134

Triggered via pull request May 14, 2024 13:09
@W95PspW95Psp
synchronize #666
type0-instead-of-type
Status Success
Total duration 7m 35s
Artifacts –

test.yml

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