chore(.NET): CollectionOfErrors; list as string #3877

chore(.NET): CollectionOfErrors; list as string

Usage Workflow file

10 warnings

Create Manifests: StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

Create Manifests: StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

Create Manifests: StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

Create Manifests: StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16500

Unreachable code detected

Create Manifests: StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16518

Unreachable code detected

Create Manifests: StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16166

Unreachable code detected

Create Manifests: StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16335

Unreachable code detected

Create Manifests: StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16207

Unreachable code detected

Create Manifests: StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16376

Unreachable code detected

Create Manifests: StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17367

Unreachable code detected

succeeded Jan 23, 2025 in 3m 13s