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

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#L16471

Unreachable code detected

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

Unreachable code detected

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

Unreachable code detected

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

Unreachable code detected

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

Unreachable code detected

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

Unreachable code detected

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

Unreachable code detected

succeeded Jan 23, 2025 in 3m 17s