Skip to content
Test Workspace

fix(engine/fstar): add string to the list of protected names #2652

Sign in to view logs

fix(engine/fstar): add string to the list of protected names

fix(engine/fstar): add string to the list of protected names #2652

Triggered via pull request August 13, 2024 08:19
@W95PspW95Psp
opened #841
fix-839-fstar-string-name-clash
Status Success
Total duration 5m 18s
Artifacts –

test.yml

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