Skip to content
Test Workspace

Engine: F*: fix #677 by always extracting implicit types #2176

Sign in to view logs

Engine: F*: fix #677 by always extracting implicit types

Engine: F*: fix #677 by always extracting implicit types #2176

Triggered via pull request May 16, 2024 15:17
@W95PspW95Psp
synchronize #679
fix-667-explicits-types
Status Success
Total duration 2m 46s
Artifacts –

test.yml

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