Skip to content

chore(deps): bump esbuild from 0.20.2 to 0.25.0 in /esdk-performance-testing/benchmarks/javascript/browser #1155

chore(deps): bump esbuild from 0.20.2 to 0.25.0 in /esdk-performance-testing/benchmarks/javascript/browser

chore(deps): bump esbuild from 0.20.2 to 0.25.0 in /esdk-performance-testing/benchmarks/javascript/browser #1155

Status Success
Total duration 1h 30m 40s
Artifacts 15

pull.yml

on: pull_request
getVersion  /  getDafnyVersion
11s
getVersion / getDafnyVersion
getFormatVersion  /  getDafnyFormatVersion
6s
getFormatVersion / getDafnyFormatVersion
getVerifyVersion  /  getDafnyVerifyVersion
12s
getVerifyVersion / getDafnyVerifyVersion
Matrix: pr-dafny-mkp-keyring-legacy-test-vectors / generateMkpKeyringLegacyFormatEncryptVectors
Matrix: pr-ci-codegen / code-generation
Matrix: pr-ci-go / testGo
Matrix: pr-ci-net / testDotNet
Matrix: pr-ci-net / testVectors
Matrix: pr-ci-rust / testRust
Matrix: pr-ci-rust / testVectors
Matrix: pr-dafny-keyring-test-vectors / generateKeyringEncryptVectors
Matrix: pr-dafny-legacy-test-vectors / decryptEncryptVectors
Matrix: pr-test-vectors / decrypt_python_vectors
Matrix: pr-test-vectors / generate_vectors
Matrix: pr-ci-format / format_projects
Matrix: pr-ci-verification / verification
Matrix: pr-dafny-mkp-keyring-legacy-test-vectors / testWritesWithJs
Matrix: pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperabilityWithJs
Matrix: pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity
Matrix: pr-dafny-keyring-test-vectors / testInteroperablity
Matrix: pr-test-vectors / decrypt_net_vectors_with_js
Matrix: pr-dafny-mkp-keyring-legacy-test-vectors / testWhatJsWrote
pr-ci-all-required
4s
pr-ci-all-required
Fit to window
Zoom out
Zoom in

Annotations

369 warnings
pr-ci-format / format_projects (macos-15)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-test-vectors / generate_vectors (ubuntu-22.04)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-test-vectors / generate_vectors (ubuntu-22.04)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-test-vectors / generate_vectors (ubuntu-22.04)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-test-vectors / generate_vectors (ubuntu-22.04)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-test-vectors / generate_vectors (ubuntu-22.04)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-codegen / code-generation (AwsEncryptionSDK, 6.0.x, 1.23, ubuntu-22.04)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-ci-codegen / code-generation (AwsEncryptionSDK, 6.0.x, 1.23, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-encryption-sdk/aws-encryption-sdk. Supported file pattern: go.mod
pr-ci-net / testDotNet (AwsEncryptionSDK, ubuntu-22.04)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-ci-net / testDotNet (AwsEncryptionSDK, ubuntu-22.04)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (AwsEncryptionSDK, ubuntu-22.04)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (AwsEncryptionSDK, ubuntu-22.04)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-go / testGo (AwsEncryptionSDK, 1.23, ubuntu-22.04)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-ci-go / testGo (AwsEncryptionSDK, 1.23, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-encryption-sdk/aws-encryption-sdk. Supported file pattern: go.mod
pr-test-vectors / decrypt_python_vectors (ubuntu-22.04)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-test-vectors / decrypt_python_vectors (ubuntu-22.04)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-test-vectors / decrypt_python_vectors (ubuntu-22.04)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, net, aws-encryption-sdk-test-vectors/vectors/aw...
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, net, aws-encryption-sdk-test-vectors/vectors/aw...
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, net, aws-encryption-sdk-test-vectors/vectors/aw...
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, net, aws-encryption-sdk-test-vectors/vectors/aw...
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, net, aws-encryption-sdk-test-vectors/vectors/aw...
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, net, aws-encryption-sdk-test-vectors/vectors/aw...
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, net, aws-encryption-sdk-test-vectors/vectors/aw...
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-go / testGo (AwsEncryptionSDK, 1.25, ubuntu-22.04)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-ci-go / testGo (AwsEncryptionSDK, 1.25, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-encryption-sdk/aws-encryption-sdk. Supported file pattern: go.mod
pr-ci-go / testGo (AwsEncryptionSDK, 1.24, ubuntu-22.04)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-ci-go / testGo (AwsEncryptionSDK, 1.24, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-encryption-sdk/aws-encryption-sdk. Supported file pattern: go.mod
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, net, aws-encryption-sdk-test-vectors/vectors/aw...
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, net, aws-encryption-sdk-test-vectors/vectors/aw...
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, net, aws-encryption-sdk-test-vectors/vectors/aw...
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, net, aws-encryption-sdk-test-vectors/vectors/aw...
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, net, aws-encryption-sdk-test-vectors/vectors/aw...
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, net, aws-encryption-sdk-test-vectors/vectors/aw...
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / generateMkpKeyringLegacyFormatEncryptVectors (TestVectors, ubuntu-22.04, go, 6.0.x)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, python, aws-encryption-sdk-test-vectors/vectors...
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-ci-verification / verification (AwsEncryptionSDK, macos-15)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, net, aws-encryption-sdk-test-vectors/vectors/aw...
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, net, aws-encryption-sdk-test-vectors/vectors/aw...
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, net, aws-encryption-sdk-test-vectors/vectors/aw...
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, net, aws-encryption-sdk-test-vectors/vectors/aw...
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, net, aws-encryption-sdk-test-vectors/vectors/aw...
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, net, aws-encryption-sdk-test-vectors/vectors/aw...
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, net, aws-encryption-sdk-test-vectors/vectors/aw...
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / generateMkpKeyringLegacyFormatEncryptVectors (TestVectors, ubuntu-22.04, net, 6.0.x)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-dafny-mkp-keyring-legacy-test-vectors / generateMkpKeyringLegacyFormatEncryptVectors (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / generateMkpKeyringLegacyFormatEncryptVectors (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / generateMkpKeyringLegacyFormatEncryptVectors (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / generateMkpKeyringLegacyFormatEncryptVectors (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / generateMkpKeyringLegacyFormatEncryptVectors (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / generateMkpKeyringLegacyFormatEncryptVectors (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / generateMkpKeyringLegacyFormatEncryptVectors (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / generateMkpKeyringLegacyFormatEncryptVectors (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / generateMkpKeyringLegacyFormatEncryptVectors (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / generateMkpKeyringLegacyFormatEncryptVectors (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / generateMkpKeyringLegacyFormatEncryptVectors (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / generateMkpKeyringLegacyFormatEncryptVectors (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / generateMkpKeyringLegacyFormatEncryptVectors (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / generateMkpKeyringLegacyFormatEncryptVectors (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / generateMkpKeyringLegacyFormatEncryptVectors (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / generateMkpKeyringLegacyFormatEncryptVectors (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (AwsEncryptionSDK, windows-latest)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-ci-net / testDotNet (AwsEncryptionSDK, windows-latest)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
pr-ci-net / testDotNet (AwsEncryptionSDK, windows-latest)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (AwsEncryptionSDK, windows-latest)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (AwsEncryptionSDK, windows-latest)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, net, aws-encryption-sdk-test-vectors/vectors/aw...
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-dafny-mkp-keyring-legacy-test-vectors / generateMkpKeyringLegacyFormatEncryptVectors (TestVectors, ubuntu-22.04, java, 6.0.x)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, net, aws-encryption-sdk-test-vectors/vectors/aw...
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, net, aws-encryption-sdk-test-vectors/vectors/aw...
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, net, aws-encryption-sdk-test-vectors/vectors/aw...
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, net, aws-encryption-sdk-test-vectors/vectors/aw...
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, net, aws-encryption-sdk-test-vectors/vectors/aw...
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / generateMkpKeyringLegacyFormatEncryptVectors (TestVectors, ubuntu-22.04, java_mkp, 6.0.x)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, net, aws-encryption-sdk-test-vectors/vectors/aw...
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, net, aws-encryption-sdk-test-vectors/vectors/aw...
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, net, aws-encryption-sdk-test-vectors/vectors/aw...
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, net, aws-encryption-sdk-test-vectors/vectors/aw...
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, net, aws-encryption-sdk-test-vectors/vectors/aw...
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, net, aws-encryption-sdk-test-vectors/vectors/aw...
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / generateKeyringEncryptVectors (TestVectors, ubuntu-22.04, java, 6.0.x)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-ci-rust / testRust (AwsEncryptionSDK, ubuntu-22.04)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, net, aws-encryption-sdk-test-vectors/vectors/aw...
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, net, aws-encryption-sdk-test-vectors/vectors/aw...
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, net, aws-encryption-sdk-test-vectors/vectors/aw...
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, net, aws-encryption-sdk-test-vectors/vectors/aw...
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, net, aws-encryption-sdk-test-vectors/vectors/aw...
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, net, aws-encryption-sdk-test-vectors/vectors/aw...
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, net, aws-encryption-sdk-test-vectors/vectors/aw...
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-test-vectors / decrypt_python_vectors (windows-latest)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-test-vectors / decrypt_python_vectors (windows-latest)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / generateMkpKeyringLegacyFormatEncryptVectors (TestVectors, ubuntu-22.04, rust, 6.0.x)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-ci-verification / verification (TestVectors, macos-15)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-dafny-keyring-test-vectors / generateKeyringEncryptVectors (TestVectors, ubuntu-22.04, net, 6.0.x)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-dafny-keyring-test-vectors / generateKeyringEncryptVectors (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / generateKeyringEncryptVectors (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / generateKeyringEncryptVectors (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / generateKeyringEncryptVectors (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / generateKeyringEncryptVectors (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / generateKeyringEncryptVectors (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / generateKeyringEncryptVectors (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / generateKeyringEncryptVectors (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / generateKeyringEncryptVectors (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / generateKeyringEncryptVectors (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / generateKeyringEncryptVectors (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / generateKeyringEncryptVectors (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / generateKeyringEncryptVectors (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / generateKeyringEncryptVectors (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / generateKeyringEncryptVectors (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / generateKeyringEncryptVectors (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / generateKeyringEncryptVectors (TestVectors, ubuntu-22.04, rust, 6.0.x)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-dafny-keyring-test-vectors / generateKeyringEncryptVectors (TestVectors, ubuntu-22.04, c, 6.0.x)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, python, aws-encryption-sdk-test-vectors/vectors...
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-ci-rust / testRust (AwsEncryptionSDK, windows-latest)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, ilammy/setup-nasm@v1, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-ci-rust / testRust (AwsEncryptionSDK, windows-latest)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
pr-dafny-keyring-test-vectors / generateKeyringEncryptVectors (TestVectors, ubuntu-22.04, go, 6.0.x)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-ci-rust / testVectors (TestVectors, ubuntu-22.04)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-ci-net / testVectors (TestVectors, ubuntu-22.04)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-ci-net / testVectors (TestVectors, ubuntu-22.04)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testVectors (TestVectors, ubuntu-22.04)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testVectors (TestVectors, ubuntu-22.04)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testVectors (TestVectors, ubuntu-22.04)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testVectors (TestVectors, ubuntu-22.04)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testVectors (TestVectors, ubuntu-22.04)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testVectors (TestVectors, ubuntu-22.04)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testVectors (TestVectors, ubuntu-22.04)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, python, aws-encryption-sdk-test-vectors/vectors...
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-ci-go / testGo (TestVectors, 1.25, ubuntu-22.04)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-ci-go / testGo (TestVectors, 1.25, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-encryption-sdk/aws-encryption-sdk. Supported file pattern: go.mod
pr-ci-go / testGo (TestVectors, 1.24, ubuntu-22.04)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-ci-go / testGo (TestVectors, 1.24, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-encryption-sdk/aws-encryption-sdk. Supported file pattern: go.mod
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, python, aws-encryption-sdk-test-vectors/vectors...
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-ci-go / testGo (TestVectors, 1.23, ubuntu-22.04)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-ci-go / testGo (TestVectors, 1.23, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-encryption-sdk/aws-encryption-sdk. Supported file pattern: go.mod
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, python, aws-encryption-sdk-test-vectors/vectors...
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-22.04, python, aws-encryption-sdk-test-vectors/vectors...
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-dafny-keyring-test-vectors / generateKeyringEncryptVectors (TestVectors, ubuntu-22.04, python, 6.0.x)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-dafny-mkp-keyring-legacy-test-vectors / generateMkpKeyringLegacyFormatEncryptVectors (TestVectors, ubuntu-22.04, python, 6.0.x)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-dafny-mkp-keyring-legacy-test-vectors / generateMkpKeyringLegacyFormatEncryptVectors (TestVectors, ubuntu-22.04, python_mkp, 6.0.x)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, go, 6.0.x)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, rust, 6.0.x)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, c, 6.0.x)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, go, 6.0.x)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, java, 6.0.x)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-dafny-mkp-keyring-legacy-test-vectors / testWhatJsWrote (TestVectors, ubuntu-22.04, net, 6.0.x)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-dafny-mkp-keyring-legacy-test-vectors / testWhatJsWrote (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testWhatJsWrote (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testWhatJsWrote (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testWhatJsWrote (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testWhatJsWrote (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testWhatJsWrote (TestVectors, ubuntu-22.04, go, 6.0.x)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-dafny-mkp-keyring-legacy-test-vectors / testWhatJsWrote (TestVectors, ubuntu-22.04, rust, 6.0.x)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-dafny-mkp-keyring-legacy-test-vectors / testWhatJsWrote (TestVectors, ubuntu-22.04, python, 6.0.x)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-dafny-mkp-keyring-legacy-test-vectors / testWhatJsWrote (TestVectors, ubuntu-22.04, python_mkp, 6.0.x)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-dafny-mkp-keyring-legacy-test-vectors / testWhatJsWrote (TestVectors, ubuntu-22.04, java_mkp, 6.0.x)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-dafny-mkp-keyring-legacy-test-vectors / testWhatJsWrote (TestVectors, ubuntu-22.04, java, 6.0.x)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, rust, 6.0.x)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, java, 6.0.x)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-dafny-keyring-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, python, 6.0.x)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, java_mkp, 6.0.x)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, python, 6.0.x)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pr-dafny-mkp-keyring-legacy-test-vectors / testInteroperablity (TestVectors, ubuntu-22.04, python_mkp, 6.0.x)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-dotnet@v3, actions/setup-dotnet@v4, actions/setup-node@v4, gradle/actions/setup-gradle@v4, nick-fields/retry@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Artifacts

Produced during runtime
Name Size Digest
ubuntu-22.04_vector_artifact
28.6 MB
sha256:0af8181eb5678ac8415c7e8a86ac6a192c751f494c835a38fdb9e43399b7d63d
ubuntu-22.04_vector_artifact_c_43ecfd5774674204f3f1ef9fc1acb305730226ca
2.41 MB
sha256:a772f0a5fe53e4338d6a165088bd9c91590544d09415a570dcff5bfed75852c9
ubuntu-22.04_vector_artifact_go_43ecfd5774674204f3f1ef9fc1acb305730226ca
14.4 MB
sha256:4aac3023cc26695efe31650fbb917f71b43107926b6ae87c814153a13c617987
ubuntu-22.04_vector_artifact_go_legacy_format_43ecfd5774674204f3f1ef9fc1acb305730226ca
11.7 MB
sha256:d61e5fbad721b49b96aa0148a14aca5d9b965ff6d9d574e1f911bf15b40ebb88
ubuntu-22.04_vector_artifact_java_43ecfd5774674204f3f1ef9fc1acb305730226ca
13.9 MB
sha256:01742f20c493e711cf8cfffbda77458597e7051a3a7fa8324400526cea9a3a26
ubuntu-22.04_vector_artifact_java_legacy_format_43ecfd5774674204f3f1ef9fc1acb305730226ca
11.3 MB
sha256:b47bb41861856e2e5440fcc89d62bd61e87fb439a5317876cb226d66c0c5e618
ubuntu-22.04_vector_artifact_java_mkp_legacy_format_43ecfd5774674204f3f1ef9fc1acb305730226ca
11.3 MB
sha256:f682ba8055e29c3c6ed7134ff57940ef25aec4b900f26b5d8921fa4836ad30ba
ubuntu-22.04_vector_artifact_javascript_legacy_format_43ecfd5774674204f3f1ef9fc1acb305730226ca
11.6 MB
sha256:53d06b2fa2b8406892e828cc9d728fabf265d2720dfe739a7371efd4f3be4fdb
ubuntu-22.04_vector_artifact_net_43ecfd5774674204f3f1ef9fc1acb305730226ca
14.4 MB
sha256:306cb924a78dbe91efdfa4bc8485b8c87be58fd7cdc1a592c6782b5d924fbacd
ubuntu-22.04_vector_artifact_net_legacy_format_43ecfd5774674204f3f1ef9fc1acb305730226ca
11.7 MB
sha256:e9cc43167516da9ecfa4e050027f5b5e9437fbff3cb5ed9818951a2f05e0c6c4
ubuntu-22.04_vector_artifact_python_43ecfd5774674204f3f1ef9fc1acb305730226ca
13.9 MB
sha256:268ce00de056b2bfdb39ffef05604bf02bb66f3950eafcccf01760925ab11292
ubuntu-22.04_vector_artifact_python_legacy_format_43ecfd5774674204f3f1ef9fc1acb305730226ca
11.3 MB
sha256:4a5f5ba4890ea4977cd1727088089a1cc1d17cabd845148b9efe7f669cc8046d
ubuntu-22.04_vector_artifact_python_mkp_legacy_format_43ecfd5774674204f3f1ef9fc1acb305730226ca
11.3 MB
sha256:4e4a805fe78898dad3e1bb65ce5d7435d72434fc066c8e7b33cf381edefb5536
ubuntu-22.04_vector_artifact_rust_43ecfd5774674204f3f1ef9fc1acb305730226ca
14.4 MB
sha256:a60bc082f8cefd7fd07af9244e90b55ca2118cd6a430e973ecc581c89bf8d6cd
ubuntu-22.04_vector_artifact_rust_legacy_format_43ecfd5774674204f3f1ef9fc1acb305730226ca
11.7 MB
sha256:1577521cf87f36ff6a8c297ca3e82f414ec6fb4f84b84dee5f411cf27e312439