Skip to content
Build and test FStar

Snapshotting the environment is linear in the number of defns; only d… #4223

Sign in to view logs

Snapshotting the environment is linear in the number of defns; only d…

Snapshotting the environment is linear in the number of defns; only d… #4223

Triggered via push October 18, 2024 05:03
@nikswamynikswamy
pushed c964622
nik_optimize_desugaring
Status Failure
Total duration 10m 20s
Artifacts –

linux-x64.yaml

on: push
build
10m 14s
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.