Manual CI #80
manual.yml
on: workflow_dispatch
Matrix: manual-interop-test / generateEncryptVectors
manual-ci-format
/
format_java_misc
17s
Matrix: manual-ci-format / format_projects
Matrix: manual-ci-java / testJava
Matrix: manual-ci-net / testDotNet
Matrix: manual-ci-verification / verification
Matrix: manual-interop-test / testInteroperablity
Annotations
18 errors and 300 warnings
manual-ci-format / format_projects (AwsCryptographicMaterialProviders, ubuntu-latest)
Process completed with exit code 2.
|
manual-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-12)
Process completed with exit code 2.
|
manual-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-latest)
Process completed with exit code 2.
|
manual-ci-format / format_projects (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest)
The job was canceled because "AwsCryptographicMaterialP" failed.
|
manual-ci-format / format_projects (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest)
The operation was canceled.
|
manual-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, ubuntu-latest)
Process completed with exit code 2.
|
manual-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest)
Process completed with exit code 2.
|
manual-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-12, net, 6.0.x)
Process completed with exit code 2.
|
manual-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-12)
Process completed with exit code 2.
|
manual-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, net, 6.0.x)
The job was canceled because "TestVectorsAwsCryptogra_4" failed.
|
|
manual-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, java, 6.0.x)
The job was canceled because "TestVectorsAwsCryptogra_4" failed.
|
|
manual-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-12, java, 6.0.x)
The job was canceled because "TestVectorsAwsCryptogra_4" failed.
|
|
manual-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest)
Process completed with exit code 2.
|
manual-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest)
Process completed with exit code 2.
|
manual-ci-verification / verification (AwsCryptographicMaterialProviders, macos-latest-large)
Process completed with exit code 2.
|
manual-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/
|
manual-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/
|
manual-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/
|
manual-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/
|
manual-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/
|
manual-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/
|
manual-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/
|
manual-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/
|
manual-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/
|
manual-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, ubuntu-latest):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
|
manual-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, ubuntu-latest):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
|
manual-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, ubuntu-latest):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
|
|
|
|
|
|
|
|
manual-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/
|
manual-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/
|
manual-ci-net / testDotNet (StandardLibrary, 6.0.x, ubuntu-latest):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
|
manual-ci-net / testDotNet (StandardLibrary, 6.0.x, ubuntu-latest):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
|
manual-ci-net / testDotNet (StandardLibrary, 6.0.x, ubuntu-latest):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
|
|
|
|
|
|
|
|
manual-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/
|
manual-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-12):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
|
manual-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-12):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
|
manual-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-12):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
|
|
|
|
|
|
|
|
manual-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/
|
manual-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-12):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
|
manual-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-12):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
|
manual-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-12):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
|
|
|
|
|
|
|
|
manual-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/
|
manual-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, ubuntu-latest):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
|
manual-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, ubuntu-latest):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
|
manual-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, ubuntu-latest):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
|
|
|
|
|
|
|
|
manual-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/
|
manual-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-12):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
|
manual-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-12):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
|
manual-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-12):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
|
|
|
|
|
|
|
manual-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-12):
StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16968
This label has not been referenced
|
manual-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/
|
manual-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, ubuntu-latest):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
|
manual-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, ubuntu-latest):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
|
manual-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, ubuntu-latest):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
|
|
|
|
|
|
|
|
manual-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/
|
manual-ci-net / testDotNet (StandardLibrary, 6.0.x, macos-12):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
|
manual-ci-net / testDotNet (StandardLibrary, 6.0.x, macos-12):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
|
manual-ci-net / testDotNet (StandardLibrary, 6.0.x, macos-12):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
|
|
|
|
|
|
|
|
manual-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/
|
manual-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/
|
manual-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/
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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/
|
manual-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, 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/
|
manual-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/
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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/
|
manual-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/
|
manual-ci-net / testDotNet (StandardLibrary, 6.0.x, windows-latest):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
|
manual-ci-net / testDotNet (StandardLibrary, 6.0.x, windows-latest):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
|
manual-ci-net / testDotNet (StandardLibrary, 6.0.x, windows-latest):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
|
|
|
|
|
|
|
|
manual-ci-net / testDotNet (StandardLibrary, 6.0.x, windows-latest):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
|
manual-ci-net / testDotNet (StandardLibrary, 6.0.x, windows-latest):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
|
manual-ci-net / testDotNet (StandardLibrary, 6.0.x, windows-latest):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
|
|
|
|
|
|
|
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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/
|
manual-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/
|
manual-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
|
manual-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
|
manual-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
|
|
|
|
|
|
|
|
manual-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
|
manual-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
|
manual-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
|
|
|
|
|
|
|
|
manual-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/
|
manual-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
|
manual-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
|
manual-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
|
|
|
|
|
|
|
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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/
|
manual-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/
|
manual-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/
|
manual-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/
|
manual-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
|
manual-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
|
manual-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
|
|
|
|
|
|
|
|
manual-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
|
manual-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
|
manual-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest):
StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
|
|
|
|
|
|
|
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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/
|
manual-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/
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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/
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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/
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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/
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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/
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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/
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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/
|
manual-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/
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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.
|
manual-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/
|