Skip to content
Build and test FStar

cache name lookups in a scope in DsEnv #4224

Sign in to view logs

cache name lookups in a scope in DsEnv

cache name lookups in a scope in DsEnv #4224

Triggered via push October 18, 2024 05:08
@nikswamynikswamy
pushed e0980fc
nik_optimize_desugaring
Status Failure
Total duration 16m 18s
Artifacts –

linux-x64.yaml

on: push
build
10m 17s
build
Fit to window
Zoom out
Zoom in

Annotations

3 errors
build
Unable to process file command 'env' successfully.
build
Invalid format '<html><head>'
build
Process completed with exit code 1.