PR CI

chore: update for async support #880

Sign in to view logs

Triggered via pull request January 23, 2025 19:06

ajewellamz

synchronize #1560

ajewell/async-example

Status Failure

Total duration 55m 3s

Artifacts –

pull.yml

on: pull_request

getVersion / getDafnyVersion

getVerifyVersion / getDafnyVerifyVersion

Matrix: pr-ci-codegen / code-generation

Matrix: pr-ci-format / format_projects

Matrix: pr-ci-java-examples / testJava

Matrix: pr-ci-java-test-vectors / testJava

Matrix: pr-ci-java / testJava

Matrix: pr-ci-net-examples / dotNetExamples

Matrix: pr-ci-net-test-vectors / testDotNet

Matrix: pr-ci-net / testDotNet

Matrix: pr-ci-rust / testRust

Matrix: pr-ci-test-vector-verification / verification

Matrix: pr-ci-verification / verification

pr-ci-all-required

Annotations

33 errors and 76 warnings

pr-ci-rust / testRust (TestVectors, ubuntu-latest)

The current .NET SDK does not support targeting .NET 8.0. Either target .NET 6.0 or lower, or use a version of the .NET SDK that supports .NET 8.0.

pr-ci-rust / testRust (TestVectors, ubuntu-latest)

The current .NET SDK does not support targeting .NET 8.0. Either target .NET 6.0 or lower, or use a version of the .NET SDK that supports .NET 8.0.

pr-ci-rust / testRust (TestVectors, ubuntu-latest)

The current .NET SDK does not support targeting .NET 8.0. Either target .NET 6.0 or lower, or use a version of the .NET SDK that supports .NET 8.0.

pr-ci-rust / testRust (TestVectors, ubuntu-latest)

The current .NET SDK does not support targeting .NET 8.0. Either target .NET 6.0 or lower, or use a version of the .NET SDK that supports .NET 8.0.

pr-ci-rust / testRust (TestVectors, ubuntu-latest)

The current .NET SDK does not support targeting .NET 8.0. Either target .NET 6.0 or lower, or use a version of the .NET SDK that supports .NET 8.0.

pr-ci-rust / testRust (TestVectors, ubuntu-latest)

The current .NET SDK does not support targeting .NET 8.0. Either target .NET 6.0 or lower, or use a version of the .NET SDK that supports .NET 8.0.

pr-ci-rust / testRust (TestVectors, ubuntu-latest)

The current .NET SDK does not support targeting .NET 8.0. Either target .NET 6.0 or lower, or use a version of the .NET SDK that supports .NET 8.0.

pr-ci-rust / testRust (TestVectors, ubuntu-latest)

The current .NET SDK does not support targeting .NET 8.0. Either target .NET 6.0 or lower, or use a version of the .NET SDK that supports .NET 8.0.

pr-ci-rust / testRust (TestVectors, ubuntu-latest)

The current .NET SDK does not support targeting .NET 8.0. Either target .NET 6.0 or lower, or use a version of the .NET SDK that supports .NET 8.0.

pr-ci-rust / testRust (TestVectors, ubuntu-latest)

The current .NET SDK does not support targeting .NET 8.0. Either target .NET 6.0 or lower, or use a version of the .NET SDK that supports .NET 8.0.

pr-ci-rust / testRust (DynamoDbEncryption, ubuntu-latest)

The current .NET SDK does not support targeting .NET 8.0. Either target .NET 6.0 or lower, or use a version of the .NET SDK that supports .NET 8.0.

pr-ci-rust / testRust (DynamoDbEncryption, ubuntu-latest)

The current .NET SDK does not support targeting .NET 8.0. Either target .NET 6.0 or lower, or use a version of the .NET SDK that supports .NET 8.0.

pr-ci-rust / testRust (DynamoDbEncryption, ubuntu-latest)

The current .NET SDK does not support targeting .NET 8.0. Either target .NET 6.0 or lower, or use a version of the .NET SDK that supports .NET 8.0.

pr-ci-rust / testRust (DynamoDbEncryption, ubuntu-latest)

The current .NET SDK does not support targeting .NET 8.0. Either target .NET 6.0 or lower, or use a version of the .NET SDK that supports .NET 8.0.

pr-ci-rust / testRust (DynamoDbEncryption, ubuntu-latest)

The current .NET SDK does not support targeting .NET 8.0. Either target .NET 6.0 or lower, or use a version of the .NET SDK that supports .NET 8.0.

pr-ci-rust / testRust (DynamoDbEncryption, ubuntu-latest)

The current .NET SDK does not support targeting .NET 8.0. Either target .NET 6.0 or lower, or use a version of the .NET SDK that supports .NET 8.0.

pr-ci-rust / testRust (DynamoDbEncryption, ubuntu-latest)

The current .NET SDK does not support targeting .NET 8.0. Either target .NET 6.0 or lower, or use a version of the .NET SDK that supports .NET 8.0.

pr-ci-rust / testRust (DynamoDbEncryption, ubuntu-latest)

The current .NET SDK does not support targeting .NET 8.0. Either target .NET 6.0 or lower, or use a version of the .NET SDK that supports .NET 8.0.

pr-ci-rust / testRust (DynamoDbEncryption, ubuntu-latest)

The current .NET SDK does not support targeting .NET 8.0. Either target .NET 6.0 or lower, or use a version of the .NET SDK that supports .NET 8.0.

pr-ci-rust / testRust (DynamoDbEncryption, ubuntu-latest)

The current .NET SDK does not support targeting .NET 8.0. Either target .NET 6.0 or lower, or use a version of the .NET SDK that supports .NET 8.0.

pr-ci-rust / testRust (TestVectors, macos-13)

the trait bound `std::rc::Rc<implementation_from_dafny::software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::Error>: DafnyPrint` is not satisfied

pr-ci-rust / testRust (TestVectors, macos-13)

`Rc<Error>` cannot be sent between threads safely

pr-ci-rust / testRust (TestVectors, macos-13)

`Rc<Error>` cannot be shared between threads safely

pr-ci-rust / testRust (TestVectors, macos-13)

the trait bound `std::rc::Rc<implementation_from_dafny::software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::Error>: DafnyPrint` is not satisfied

pr-ci-rust / testRust (TestVectors, macos-13)

`Rc<Error>` cannot be sent between threads safely

pr-ci-rust / testRust (TestVectors, macos-13)

`Rc<Error>` cannot be shared between threads safely

pr-ci-rust / testRust (TestVectors, macos-13)

mismatched types

pr-ci-rust / testRust (TestVectors, macos-13)

the trait bound `std::rc::Rc<implementation_from_dafny::software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::Error>: DafnyPrint` is not satisfied

pr-ci-rust / testRust (TestVectors, macos-13)

`Rc<Error>` cannot be sent between threads safely

pr-ci-rust / testRust (TestVectors, macos-13)

`Rc<Error>` cannot be shared between threads safely

pr-ci-rust / testRust (DynamoDbEncryption, macos-13)

file not found for module `basic_async`

pr-ci-rust / testRust (DynamoDbEncryption, macos-13)

Process completed with exit code 2.

pr-ci-all-required

Process completed with exit code 1.

getVerifyVersion / getDafnyVerifyVersion

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

getVersion / getDafnyVersion

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16658

Unreachable code detected

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16676

Unreachable code detected

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16694

Unreachable code detected

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17433

Unreachable code detected

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17461

Unreachable code detected

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17007

Unreachable code detected

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17827

Unreachable code detected

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest): DynamoDbEncryption/runtimes/net/ImplementationFromDafny.cs#L19485

This label has not been referenced

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest): DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1311

The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest): DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1314

The result of the expression is always 'true' since a value of type 'int' is never equal to 'null' of type 'int?'

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest): DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1372

The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest): DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1457

The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest): DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1461

The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest): DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1483

The result of the expression is always 'true' since a value of type 'int' is never equal to 'null' of type 'int?'

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest): DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1484

The result of the expression is always 'true' since a value of type 'int' is never equal to 'null' of type 'int?'

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest): DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1561

The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest): DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1576

The result of the expression is always 'true' since a value of type 'int' is never equal to 'null' of type 'int?'

pr-ci-codegen / code-generation (TestVectors, 6.0.x, ubuntu-latest)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, windows-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17007

Unreachable code detected

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, windows-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17080

Unreachable code detected

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, windows-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, windows-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, windows-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, windows-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16658

Unreachable code detected

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, windows-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16676

Unreachable code detected

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, windows-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16694

Unreachable code detected

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, windows-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17230

This label has not been referenced

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, windows-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17827

Unreachable code detected

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, macos-13): submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, macos-13): submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, macos-13): submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, macos-13): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17433

Unreachable code detected

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, macos-13): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17461

Unreachable code detected

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, macos-13): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16324

Unreachable code detected

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, macos-13): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16365

Unreachable code detected

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, macos-13): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16493

Unreachable code detected

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, macos-13): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16534

Unreachable code detected

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, macos-13): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16658

Unreachable code detected

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, macos-13): DynamoDbEncryption/runtimes/net/ImplementationFromDafny.cs#L19485

This label has not been referenced

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, macos-13): DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1311

The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, macos-13): DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1314

The result of the expression is always 'true' since a value of type 'int' is never equal to 'null' of type 'int?'

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, macos-13): DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1372

The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, macos-13): DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1457

The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, macos-13): DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1461

The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, macos-13): DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1483

The result of the expression is always 'true' since a value of type 'int' is never equal to 'null' of type 'int?'

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, macos-13): DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1484

The result of the expression is always 'true' since a value of type 'int' is never equal to 'null' of type 'int?'

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, macos-13): DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1561

The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'

pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, macos-13): DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1576

The result of the expression is always 'true' since a value of type 'int' is never equal to 'null' of type 'int?'

pr-ci-net-examples / dotNetExamples (DynamoDbEncryption, 6.0.x, macos-13): submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

pr-ci-net-examples / dotNetExamples (DynamoDbEncryption, 6.0.x, macos-13): submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

pr-ci-net-examples / dotNetExamples (DynamoDbEncryption, 6.0.x, macos-13): submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

pr-ci-net-examples / dotNetExamples (DynamoDbEncryption, 6.0.x, macos-13): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17433

Unreachable code detected

pr-ci-net-examples / dotNetExamples (DynamoDbEncryption, 6.0.x, macos-13): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17461

Unreachable code detected

pr-ci-net-examples / dotNetExamples (DynamoDbEncryption, 6.0.x, macos-13): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16324

Unreachable code detected

pr-ci-net-examples / dotNetExamples (DynamoDbEncryption, 6.0.x, macos-13): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16493

Unreachable code detected

pr-ci-net-examples / dotNetExamples (DynamoDbEncryption, 6.0.x, macos-13): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16658

Unreachable code detected

pr-ci-net-examples / dotNetExamples (DynamoDbEncryption, 6.0.x, macos-13): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16676

Unreachable code detected

pr-ci-net-examples / dotNetExamples (DynamoDbEncryption, 6.0.x, macos-13): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16694

Unreachable code detected

pr-ci-codegen / code-generation (DynamoDbEncryption, 6.0.x, ubuntu-latest)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

pr-ci-net-test-vectors / testDotNet (TestVectors, 6.0.x, ubuntu-latest)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

pr-ci-net-test-vectors / testDotNet (TestVectors, 6.0.x, ubuntu-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

pr-ci-net-test-vectors / testDotNet (TestVectors, 6.0.x, ubuntu-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

pr-ci-net-test-vectors / testDotNet (TestVectors, 6.0.x, ubuntu-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

pr-ci-net-test-vectors / testDotNet (TestVectors, 6.0.x, ubuntu-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16658

Unreachable code detected

pr-ci-net-test-vectors / testDotNet (TestVectors, 6.0.x, ubuntu-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16676

Unreachable code detected

pr-ci-net-test-vectors / testDotNet (TestVectors, 6.0.x, ubuntu-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16694

Unreachable code detected

pr-ci-net-test-vectors / testDotNet (TestVectors, 6.0.x, ubuntu-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16324

Unreachable code detected

pr-ci-net-test-vectors / testDotNet (TestVectors, 6.0.x, ubuntu-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16365

Unreachable code detected

pr-ci-net-test-vectors / testDotNet (TestVectors, 6.0.x, ubuntu-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17007

Unreachable code detected

pr-ci-net-test-vectors / testDotNet (TestVectors, 6.0.x, ubuntu-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17827

Unreachable code detected