Erase ghost code in a separate phase · dafny-lang/dafny@79cd409

Triggered via pull request October 14, 2024 12:26

opened #5831

Status Success

Total duration 3m 9s

Artifacts 1

refman.yml

on: pull_request

Matrix: build-refman

6 warnings

The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.

The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.

The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.

The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.

The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.

The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.

Produced during runtime

Name	Size
DafnyRef	1.47 MB