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

chore(.NET): CollectionOfErrors; list as string

Usage Workflow file

2 errors and 10 warnings

The job was canceled because "TestVectorsAwsCryptogra_6" failed.

The operation was canceled.

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

Unreachable code detected

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

Unreachable code detected

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

Unreachable code detected

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

Unreachable code detected

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

Unreachable code detected

cancelled Jan 23, 2025 in 2m 6s