Erase ghost code in a separate phase #18461
Annotations
2 errors and 7 warnings
|
Install Tectonic
Error: Unexpected HTTP response: 500
|
|
Install Tectonic
Unexpected HTTP response: 500
|
|
Run actions/upload-artifact@v4
No files were found with the provided path: dafny/docs/DafnyRef/DafnyRef.pdf. No artifacts will be uploaded.
|
|
Build Dafny:
Source/DafnyCore/Backends/SymbolTable.cs#L126
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
Build Dafny:
Source/DafnyCore/Backends/SymbolTable.cs#L131
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
Build Dafny:
Source/DafnyCore/Backends/SymbolTable.cs#L141
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
Build Dafny:
Source/DafnyCore/Backends/SymbolTable.cs#L126
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
Build Dafny:
Source/DafnyCore/Backends/SymbolTable.cs#L131
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
Build Dafny:
Source/DafnyCore/Backends/SymbolTable.cs#L141
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
Loading