Skip to content
Build and test FStar

Do not print reveal or hide by default when resugaring #4133

Sign in to view logs

Do not print reveal or hide by default when resugaring

Do not print reveal or hide by default when resugaring #4133

Triggered via pull request October 9, 2024 11:19
@nikswamynikswamy
opened #3544
nik_resugar_hide_reveal
Status Success
Total duration 11m 19s
Artifacts –

linux-x64.yaml

on: pull_request
build
11m 10s
build
Fit to window
Zoom out
Zoom in