chore: update alias, add Ritvik #2982

Sign in to view logs

Re-run triggered November 1, 2024 19:03

kessplas

#943

kessplas/update-names

Status Success

Total duration 3m 52s

Artifacts 6

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 / testJava

Matrix: pr-ci-net / testDotNet

Matrix: pr-interop-test / generateEncryptVectors

pr-ci-format / format_java_misc

Matrix: pr-ci-python / testPython

Matrix: pr-ci-verification / verification

Matrix: pr-interop-test / testInteroperablity

pr-ci-all-required

Annotations

540 warnings

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

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], actions/setup-dotnet@v3, actions/setup-java@v3, gradle/gradle-build-action@v2, actions/setup-python@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

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

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], actions/setup-dotnet@v3, actions/setup-java@v3, gradle/gradle-build-action@v2, actions/setup-python@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

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

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], actions/setup-dotnet@v3, actions/setup-java@v3, gradle/gradle-build-action@v2, actions/setup-python@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

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

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], actions/setup-dotnet@v3, actions/setup-java@v3, gradle/gradle-build-action@v2, actions/setup-python@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

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

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], actions/setup-dotnet@v3, actions/setup-java@v3, gradle/gradle-build-action@v2, actions/setup-python@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

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

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], actions/setup-dotnet@v3, actions/setup-java@v3, gradle/gradle-build-action@v2, actions/setup-python@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-ci-format / format_projects (StandardLibrary, ubuntu-latest)

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-ci-format / format_projects (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest)

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-ci-format / format_projects (ComAmazonawsDynamodb, ubuntu-latest)

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-ci-format / format_projects (AwsCryptographicMaterialProviders, ubuntu-latest)

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-ci-format / format_projects (ComAmazonawsKms, ubuntu-latest)

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-ci-format / format_projects (AwsCryptographyPrimitives, ubuntu-latest)

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-ci-java / testJava (StandardLibrary, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (StandardLibrary, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (StandardLibrary, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (StandardLibrary, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (StandardLibrary, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (StandardLibrary, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (StandardLibrary, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (StandardLibrary, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (StandardLibrary, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (StandardLibrary, macos-12)

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], gradle/gradle-build-action@v2, actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-ci-java / testJava (TestVectorsAwsCryptographicMaterialProviders, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (TestVectorsAwsCryptographicMaterialProviders, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (TestVectorsAwsCryptographicMaterialProviders, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (TestVectorsAwsCryptographicMaterialProviders, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (TestVectorsAwsCryptographicMaterialProviders, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (TestVectorsAwsCryptographicMaterialProviders, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (TestVectorsAwsCryptographicMaterialProviders, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (TestVectorsAwsCryptographicMaterialProviders, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (TestVectorsAwsCryptographicMaterialProviders, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (TestVectorsAwsCryptographicMaterialProviders, macos-12)

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], gradle/gradle-build-action@v2, actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-ci-java / testJava (StandardLibrary, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (StandardLibrary, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (StandardLibrary, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (StandardLibrary, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (StandardLibrary, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (StandardLibrary, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (StandardLibrary, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (StandardLibrary, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (StandardLibrary, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (StandardLibrary, ubuntu-latest)

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], gradle/gradle-build-action@v2, actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-ci-java / testJava (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest)

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], gradle/gradle-build-action@v2, actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-ci-java / testJava (AwsCryptographicMaterialProviders, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (AwsCryptographicMaterialProviders, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (AwsCryptographicMaterialProviders, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (AwsCryptographicMaterialProviders, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (AwsCryptographicMaterialProviders, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (AwsCryptographicMaterialProviders, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (AwsCryptographicMaterialProviders, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (AwsCryptographicMaterialProviders, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (AwsCryptographicMaterialProviders, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (AwsCryptographicMaterialProviders, macos-12)

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], gradle/gradle-build-action@v2, actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-ci-java / testJava (AwsCryptographicMaterialProviders, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (AwsCryptographicMaterialProviders, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (AwsCryptographicMaterialProviders, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (AwsCryptographicMaterialProviders, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (AwsCryptographicMaterialProviders, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (AwsCryptographicMaterialProviders, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (AwsCryptographicMaterialProviders, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (AwsCryptographicMaterialProviders, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (AwsCryptographicMaterialProviders, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (AwsCryptographicMaterialProviders, ubuntu-latest)

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], gradle/gradle-build-action@v2, actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-ci-java / testJava (ComAmazonawsDynamodb, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (ComAmazonawsDynamodb, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (ComAmazonawsDynamodb, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (ComAmazonawsDynamodb, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (ComAmazonawsDynamodb, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (ComAmazonawsDynamodb, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (ComAmazonawsDynamodb, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (ComAmazonawsDynamodb, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (ComAmazonawsDynamodb, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (ComAmazonawsDynamodb, ubuntu-latest)

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], gradle/gradle-build-action@v2, actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-ci-java / testJava (AwsCryptographyPrimitives, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (AwsCryptographyPrimitives, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (AwsCryptographyPrimitives, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (AwsCryptographyPrimitives, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (ComAmazonawsDynamodb, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (AwsCryptographyPrimitives, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (ComAmazonawsDynamodb, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (AwsCryptographyPrimitives, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (ComAmazonawsDynamodb, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (AwsCryptographyPrimitives, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (ComAmazonawsDynamodb, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (AwsCryptographyPrimitives, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (ComAmazonawsDynamodb, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (AwsCryptographyPrimitives, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (ComAmazonawsDynamodb, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (AwsCryptographyPrimitives, macos-12)

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], gradle/gradle-build-action@v2, actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-ci-java / testJava (ComAmazonawsDynamodb, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (ComAmazonawsDynamodb, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (ComAmazonawsDynamodb, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (ComAmazonawsDynamodb, macos-12)

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], gradle/gradle-build-action@v2, actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-ci-java / testJava (ComAmazonawsKms, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (ComAmazonawsKms, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (ComAmazonawsKms, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (ComAmazonawsKms, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (ComAmazonawsKms, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (AwsCryptographyPrimitives, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (ComAmazonawsKms, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (AwsCryptographyPrimitives, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (ComAmazonawsKms, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (AwsCryptographyPrimitives, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (ComAmazonawsKms, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (AwsCryptographyPrimitives, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (ComAmazonawsKms, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (AwsCryptographyPrimitives, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (ComAmazonawsKms, ubuntu-latest)

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], gradle/gradle-build-action@v2, actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-ci-java / testJava (AwsCryptographyPrimitives, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (AwsCryptographyPrimitives, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (AwsCryptographyPrimitives, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (AwsCryptographyPrimitives, ubuntu-latest)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (AwsCryptographyPrimitives, ubuntu-latest)

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], gradle/gradle-build-action@v2, actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-ci-java / testJava (ComAmazonawsKms, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (ComAmazonawsKms, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (ComAmazonawsKms, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (ComAmazonawsKms, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (ComAmazonawsKms, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (ComAmazonawsKms, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (ComAmazonawsKms, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (ComAmazonawsKms, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (ComAmazonawsKms, macos-12)

This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.

pr-ci-java / testJava (ComAmazonawsKms, macos-12)

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], gradle/gradle-build-action@v2, actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

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

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-dotnet@v3, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

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

The variable 'e' is declared but never used

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

The variable 'e' is declared but never used

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

The variable 'e' is declared but never used

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, ubuntu-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16335

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, ubuntu-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16376

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, ubuntu-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16500

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, ubuntu-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16518

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, ubuntu-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17367

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, ubuntu-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16166

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, ubuntu-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16207

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-12)

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-dotnet@v3, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-12): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-12): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-12): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16335

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16376

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest)

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-dotnet@v3, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16500

Unreachable code detected

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

The variable 'e' is declared but never used

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16518

Unreachable code detected

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

The variable 'e' is declared but never used

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16166

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16207

Unreachable code detected

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

The variable 'e' is declared but never used

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17367

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16500

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-12): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16518

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-12): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16335

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-12): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16376

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16500

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16166

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16518

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16207

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-12)

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-dotnet@v3, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16166

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16207

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-12): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17367

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-12): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16335

Unreachable code detected

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

The variable 'e' is declared but never used

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16376

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-12): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

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

The variable 'e' is declared but never used

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17367

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16335

Unreachable code detected

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

The variable 'e' is declared but never used

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16166

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16335

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16376

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16376

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16207

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16500

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16500

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16518

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16518

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16166

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17367

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16207

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17367

Unreachable code detected

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

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-dotnet@v3, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

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

The variable 'e' is declared but never used

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

The variable 'e' is declared but never used

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

The variable 'e' is declared but never used

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16166

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16207

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16500

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16518

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16335

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16376

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17367

Unreachable code detected

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

The variable 'e' is declared but never used

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

The variable 'e' is declared but never used

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

The variable 'e' is declared but never used

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16335

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16376

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16500

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16518

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17367

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17256

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16166

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest)

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-dotnet@v3, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): AwsCryptographicMaterialProviders/runtimes/net/tests/LocalCMC.Tests/LocalCMCTests.cs#L58

The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): AwsCryptographicMaterialProviders/runtimes/net/tests/LocalCMC.Tests/LocalCMCTests.cs#L98

The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): AwsCryptographicMaterialProviders/runtimes/net/tests/LocalCMC.Tests/LocalCMCTests.cs#L58

The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): AwsCryptographicMaterialProviders/runtimes/net/tests/LocalCMC.Tests/LocalCMCTests.cs#L98

The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): AwsCryptographicMaterialProviders/runtimes/net/tests/LocalCMC.Tests/LocalCMCTests.cs#L58

The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): AwsCryptographicMaterialProviders/runtimes/net/tests/LocalCMC.Tests/LocalCMCTests.cs#L98

The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): AwsCryptographicMaterialProviders/runtimes/net/tests/LocalCMC.Tests/LocalCMCTests.cs#L58

The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): AwsCryptographicMaterialProviders/runtimes/net/tests/LocalCMC.Tests/LocalCMCTests.cs#L98

The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.

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

The variable 'e' is declared but never used

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

The variable 'e' is declared but never used

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

The variable 'e' is declared but never used

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16166

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16335

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16207

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16376

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17367

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17256

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17273

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16500

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16518

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17367

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17256

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17273

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17292

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17311

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17330

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17337

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17344

Unreachable code detected

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

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-dotnet@v3, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

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

The variable 'e' is declared but never used

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

The variable 'e' is declared but never used

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

The variable 'e' is declared but never used

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, ubuntu-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16500

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, ubuntu-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16518

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, ubuntu-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16335

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, ubuntu-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16376

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, ubuntu-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17367

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, ubuntu-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17256

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, ubuntu-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17273

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-12)

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-dotnet@v3, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-12): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-12): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-12): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16335

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16376

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16500

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16518

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16166

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16207

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17367

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest)

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-dotnet@v3, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

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

The variable 'e' is declared but never used

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

The variable 'e' is declared but never used

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

The variable 'e' is declared but never used

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16166

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16207

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16500

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16518

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16335

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16376

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17367

Unreachable code detected

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

The variable 'e' is declared but never used

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

The variable 'e' is declared but never used

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

The variable 'e' is declared but never used

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16500

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16518

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17367

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17256

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16166

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17273

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16335

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-12)

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-dotnet@v3, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-12): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-12): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-12): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16500

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16518

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16166

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16207

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16335

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16376

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17367

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest)

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-dotnet@v3, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

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

The variable 'e' is declared but never used

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

The variable 'e' is declared but never used

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

The variable 'e' is declared but never used

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16335

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16376

Unreachable code detected

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

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-dotnet@v3, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16500

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16518

Unreachable code detected

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

The variable 'e' is declared but never used

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16166

Unreachable code detected

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

The variable 'e' is declared but never used

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17367

Unreachable code detected

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

The variable 'e' is declared but never used

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16207

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, ubuntu-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16335

Unreachable code detected

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

The variable 'e' is declared but never used

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, ubuntu-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16376

Unreachable code detected

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

The variable 'e' is declared but never used

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, ubuntu-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16166

Unreachable code detected

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

The variable 'e' is declared but never used

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, ubuntu-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16500

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16500

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, ubuntu-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16518

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16518

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, ubuntu-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16207

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16166

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, ubuntu-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17367

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16207

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L19908

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L19931

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17367

Unreachable code detected

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

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-dotnet@v3, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

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

The variable 'e' is declared but never used

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

The variable 'e' is declared but never used

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

The variable 'e' is declared but never used

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, ubuntu-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16335

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, ubuntu-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16376

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, ubuntu-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16166

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, ubuntu-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16207

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, ubuntu-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16500

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, ubuntu-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16518

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, ubuntu-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17367

Unreachable code detected

pr-ci-net / testDotNet (StandardLibrary, 6.0.x, macos-12)

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-dotnet@v3, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

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

The variable 'e' is declared but never used

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-12)

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-dotnet@v3, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

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

The variable 'e' is declared but never used

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-12): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

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

The variable 'e' is declared but never used

pr-ci-net / testDotNet (StandardLibrary, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16166

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-12): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

pr-ci-net / testDotNet (StandardLibrary, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16335

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-12): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

pr-ci-net / testDotNet (StandardLibrary, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16500

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16500

Unreachable code detected

pr-ci-net / testDotNet (StandardLibrary, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16518

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16518

Unreachable code detected

pr-ci-net / testDotNet (StandardLibrary, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16376

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16335

Unreachable code detected

pr-ci-net / testDotNet (StandardLibrary, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16207

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16376

Unreachable code detected

pr-ci-net / testDotNet (StandardLibrary, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17367

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16166

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16207

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-12): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17367

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest)

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-dotnet@v3, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16335

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16376

Unreachable code detected

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

The variable 'e' is declared but never used

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

The variable 'e' is declared but never used

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

The variable 'e' is declared but never used

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17367

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17256

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17273

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17292

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17311

Unreachable code detected

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

The variable 'e' is declared but never used

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

The variable 'e' is declared but never used

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

The variable 'e' is declared but never used

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16335

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16500

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16376

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16518

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17367

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17256

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17273

Unreachable code detected

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

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-dotnet@v3, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

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

The variable 'e' is declared but never used

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

The variable 'e' is declared but never used

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

The variable 'e' is declared but never used

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

Unreachable code detected

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

Unreachable code detected

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

Unreachable code detected

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

Unreachable code detected

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

Unreachable code detected

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

Unreachable code detected

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

Unreachable code detected

pr-ci-net / testDotNet (StandardLibrary, 6.0.x, windows-latest)

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-dotnet@v3, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

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

The variable 'e' is declared but never used

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

The variable 'e' is declared but never used

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

The variable 'e' is declared but never used

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

Unreachable code detected

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

Unreachable code detected

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

Unreachable code detected

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

Unreachable code detected

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

Unreachable code detected

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

Unreachable code detected

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

Unreachable code detected

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

The variable 'e' is declared but never used

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

The variable 'e' is declared but never used

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

The variable 'e' is declared but never used

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

Unreachable code detected

pr-ci-python / testPython (TestVectorsAwsCryptographicMaterialProviders, 3.11, ubuntu-latest)

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], actions/setup-python@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

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

Unreachable code detected

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

Unreachable code detected

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

Unreachable code detected

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

Unreachable code detected

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

Unreachable code detected

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

Unreachable code detected

pr-ci-python / testPython (TestVectorsAwsCryptographicMaterialProviders, 3.11, macos-12)

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], actions/setup-python@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-ci-python / testPython (AwsCryptographicMaterialProviders, 3.11, ubuntu-latest)

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], actions/setup-python@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-ci-python / testPython (AwsCryptographicMaterialProviders, 3.11, macos-12)

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], actions/setup-python@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-ci-python / testPython (ComAmazonawsDynamodb, 3.11, macos-12)

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], actions/setup-python@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-ci-python / testPython (ComAmazonawsDynamodb, 3.11, ubuntu-latest)

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], actions/setup-python@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-ci-python / testPython (ComAmazonawsKms, 3.11, ubuntu-latest)

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], actions/setup-python@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-ci-python / testPython (ComAmazonawsKms, 3.11, macos-12)

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], actions/setup-python@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-ci-python / testPython (AwsCryptographyPrimitives, 3.11, macos-12)

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], actions/setup-python@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-ci-python / testPython (StandardLibrary, 3.11, macos-12)

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], actions/setup-python@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-ci-python / testPython (AwsCryptographyPrimitives, 3.11, ubuntu-latest)

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], actions/setup-python@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-ci-verification / verification (AwsCryptographicMaterialProviders, macos-latest-large)

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], actions/setup-dotnet@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-ci-python / testPython (StandardLibrary, 3.11, ubuntu-latest)

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], actions/setup-python@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-ci-verification / verification (ComAmazonawsDynamodb, macos-latest-large)

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], actions/setup-dotnet@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-ci-verification / verification (StandardLibrary, macos-latest-large)

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], actions/setup-dotnet@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-ci-verification / verification (ComAmazonawsKms, macos-latest-large)

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], actions/setup-dotnet@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-12, python, 6.0.x)

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/setup-python@v4, dafny-lang/[email protected], aws-actions/configure-aws-credentials@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-12, java, 6.0.x)

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/setup-java@v3, actions/setup-python@v4, dafny-lang/[email protected], gradle/gradle-build-action@v2, aws-actions/configure-aws-credentials@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-ci-verification / verification (AwsCryptographyPrimitives, macos-latest-large)

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], actions/setup-dotnet@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-12, net, 6.0.x)

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/setup-dotnet@v3, actions/setup-python@v4, dafny-lang/[email protected], aws-actions/configure-aws-credentials@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-12, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-12, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-12, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-12, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16335

Unreachable code detected

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-12, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16166

Unreachable code detected

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-12, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16207

Unreachable code detected

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-12, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16500

Unreachable code detected

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-12, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16518

Unreachable code detected

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-12, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16376

Unreachable code detected

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-12, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17367

Unreachable code detected

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, net, 6.0.x)

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/setup-dotnet@v3, actions/setup-python@v4, dafny-lang/[email protected], aws-actions/configure-aws-credentials@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16166

Unreachable code detected

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16207

Unreachable code detected

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16335

Unreachable code detected

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16376

Unreachable code detected

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16500

Unreachable code detected

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16518

Unreachable code detected

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17367

Unreachable code detected

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, python, 6.0.x)

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/setup-python@v4, dafny-lang/[email protected], aws-actions/configure-aws-credentials@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, java, 6.0.x)

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/setup-java@v3, actions/setup-python@v4, dafny-lang/[email protected], gradle/gradle-build-action@v2, aws-actions/configure-aws-credentials@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-12, python, net, 6.0.x)

The following actions use a deprecated Node.js version and will be forced to run on node20: aws-actions/configure-aws-credentials@v2, actions/checkout@v3, actions/setup-dotnet@v3, actions/setup-python@v4, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-12, python, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-12, python, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-12, python, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-12, python, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16500

Unreachable code detected

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-12, python, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16518

Unreachable code detected

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-12, python, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16335

Unreachable code detected

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-12, python, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16376

Unreachable code detected

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-12, python, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17367

Unreachable code detected

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-12, python, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17256

Unreachable code detected

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-12, python, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17273

Unreachable code detected

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-12, net, python, 6.0.x)

The following actions use a deprecated Node.js version and will be forced to run on node20: aws-actions/configure-aws-credentials@v2, actions/checkout@v3, actions/setup-python@v4, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-12, python, java, 6.0.x)

The following actions use a deprecated Node.js version and will be forced to run on node20: aws-actions/configure-aws-credentials@v2, actions/checkout@v3, actions/setup-java@v3, actions/setup-python@v4, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-12, python, python, 6.0.x)

The following actions use a deprecated Node.js version and will be forced to run on node20: aws-actions/configure-aws-credentials@v2, actions/checkout@v3, actions/setup-python@v4, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-12, net, net, 6.0.x)

The following actions use a deprecated Node.js version and will be forced to run on node20: aws-actions/configure-aws-credentials@v2, actions/checkout@v3, actions/setup-dotnet@v3, actions/setup-python@v4, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-12, java, python, 6.0.x)

The following actions use a deprecated Node.js version and will be forced to run on node20: aws-actions/configure-aws-credentials@v2, actions/checkout@v3, actions/setup-python@v4, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-12, net, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-12, net, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-12, net, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-12, net, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16335

Unreachable code detected

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-12, net, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16166

Unreachable code detected

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-12, net, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16376

Unreachable code detected

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-12, net, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16207

Unreachable code detected

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-12, net, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16500

Unreachable code detected

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-12, net, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16518

Unreachable code detected

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-12, net, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17367

Unreachable code detected

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-12, net, java, 6.0.x)

The following actions use a deprecated Node.js version and will be forced to run on node20: aws-actions/configure-aws-credentials@v2, actions/checkout@v3, actions/setup-java@v3, actions/setup-python@v4, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-12, java, net, 6.0.x)

The following actions use a deprecated Node.js version and will be forced to run on node20: aws-actions/configure-aws-credentials@v2, actions/checkout@v3, actions/setup-dotnet@v3, actions/setup-python@v4, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-12, java, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-12, java, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-12, java, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-12, java, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16500

Unreachable code detected

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-12, java, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16335

Unreachable code detected

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-12, java, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16518

Unreachable code detected

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-12, java, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16166

Unreachable code detected

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-12, java, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16207

Unreachable code detected

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-12, java, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17367

Unreachable code detected

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-12, java, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17256

Unreachable code detected

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-12, java, java, 6.0.x)

The following actions use a deprecated Node.js version and will be forced to run on node20: aws-actions/configure-aws-credentials@v2, actions/checkout@v3, actions/setup-java@v3, actions/setup-python@v4, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, python, python,...

The following actions use a deprecated Node.js version and will be forced to run on node20: aws-actions/configure-aws-credentials@v2, actions/checkout@v3, actions/setup-python@v4, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, python, net, 6....

The following actions use a deprecated Node.js version and will be forced to run on node20: aws-actions/configure-aws-credentials@v2, actions/checkout@v3, actions/setup-dotnet@v3, actions/setup-python@v4, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, python, net, 6....: StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, python, net, 6....: StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, python, net, 6....: StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, python, net, 6....: StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16500

Unreachable code detected

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, python, net, 6....: StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16518

Unreachable code detected

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, python, net, 6....: StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16335

Unreachable code detected

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, python, net, 6....: StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17367

Unreachable code detected

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, python, net, 6....: StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17256

Unreachable code detected

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, python, java, 6...

The following actions use a deprecated Node.js version and will be forced to run on node20: aws-actions/configure-aws-credentials@v2, actions/checkout@v3, actions/setup-java@v3, actions/setup-python@v4, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, python, net, 6....: StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16166

Unreachable code detected

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, python, net, 6....: StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16376

Unreachable code detected

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, net, python, 6....

The following actions use a deprecated Node.js version and will be forced to run on node20: aws-actions/configure-aws-credentials@v2, actions/checkout@v3, actions/setup-python@v4, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, net, java, 6.0.x)

The following actions use a deprecated Node.js version and will be forced to run on node20: aws-actions/configure-aws-credentials@v2, actions/checkout@v3, actions/setup-java@v3, actions/setup-python@v4, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, net, net, 6.0.x)

The following actions use a deprecated Node.js version and will be forced to run on node20: aws-actions/configure-aws-credentials@v2, actions/checkout@v3, actions/setup-dotnet@v3, actions/setup-python@v4, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, net, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, net, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, net, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, net, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16335

Unreachable code detected

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, net, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16376

Unreachable code detected

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, net, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16500

Unreachable code detected

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, net, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16518

Unreachable code detected

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, net, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16166

Unreachable code detected

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, net, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16207

Unreachable code detected

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, net, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17367

Unreachable code detected

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, java, python, 6...

The following actions use a deprecated Node.js version and will be forced to run on node20: aws-actions/configure-aws-credentials@v2, actions/checkout@v3, actions/setup-python@v4, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, java, net, 6.0.x)

The following actions use a deprecated Node.js version and will be forced to run on node20: aws-actions/configure-aws-credentials@v2, actions/checkout@v3, actions/setup-dotnet@v3, actions/setup-python@v4, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, java, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, java, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, java, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, java, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16166

Unreachable code detected

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, java, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16335

Unreachable code detected

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, java, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16207

Unreachable code detected

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, java, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16376

Unreachable code detected

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, java, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16500

Unreachable code detected

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, java, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16518

Unreachable code detected

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, java, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17367

Unreachable code detected

pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, java, java, 6.0.x)

The following actions use a deprecated Node.js version and will be forced to run on node20: aws-actions/configure-aws-credentials@v2, actions/checkout@v3, actions/setup-java@v3, actions/setup-python@v4, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

pr-ci-verification / verification (TestVectorsAwsCryptographicMaterialProviders, macos-latest-large)

The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected], actions/setup-dotnet@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/