Skip to content

chore(release): Update CHANGELOG.md for 1.2.4 #1142

chore(release): Update CHANGELOG.md for 1.2.4

chore(release): Update CHANGELOG.md for 1.2.4 #1142

Triggered via pull request April 20, 2026 21:41
Status Success
Total duration 1h 30m 53s
Artifacts 15

pull.yml

on: pull_request
getVersion  /  getDafnyVersion
7s
getVersion / getDafnyVersion
getFormatVersion  /  getDafnyFormatVersion
10s
getFormatVersion / getDafnyFormatVersion
getVerifyVersion  /  getDafnyVerifyVersion
8s
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
2s
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-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-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, 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, 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...
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-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-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-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-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-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, 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...
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-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-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-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-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-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-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-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-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-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, 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-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-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, 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-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-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-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-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-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-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-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-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-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-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 / 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 / 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 / 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, 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, 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, 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-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-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-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-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-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-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/
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-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/

Artifacts

Produced during runtime
Name Size Digest
ubuntu-22.04_vector_artifact
28.6 MB
sha256:ff433232abdbff40b56029666e7129afcea3441921e2764ff4a1650277e00c36
ubuntu-22.04_vector_artifact_c_a0383c894e40e84dfe46816e9c79a56e765eb2f0
2.41 MB
sha256:8e43eeca1d58dee1dd922e182d2c9fc072959af97cffcd22c7397e636e18ee02
ubuntu-22.04_vector_artifact_go_a0383c894e40e84dfe46816e9c79a56e765eb2f0
14.4 MB
sha256:7187ef5d0dad7ffbf15f6995181e8a27b88cbd20ed0737ce08c544e4058559b9
ubuntu-22.04_vector_artifact_go_legacy_format_a0383c894e40e84dfe46816e9c79a56e765eb2f0
11.7 MB
sha256:e8d9f7135e756d1c7023d3c8f18277bac4002ac34174d6a616b1402b2ca5f20b
ubuntu-22.04_vector_artifact_java_a0383c894e40e84dfe46816e9c79a56e765eb2f0
13.9 MB
sha256:c78324ada6cd968b4f69f12e4738ac98a2a0c9db8445894760fbc1498c918158
ubuntu-22.04_vector_artifact_java_legacy_format_a0383c894e40e84dfe46816e9c79a56e765eb2f0
11.3 MB
sha256:c34bb540600886d57e6c2586f24db3d252db3e634c0f1a403a3553ae5b2212ba
ubuntu-22.04_vector_artifact_java_mkp_legacy_format_a0383c894e40e84dfe46816e9c79a56e765eb2f0
11.3 MB
sha256:b38a9618f98747407e8baecb32f3cc2db14a582215b2c27fdad6800976ff183f
ubuntu-22.04_vector_artifact_javascript_legacy_format_a0383c894e40e84dfe46816e9c79a56e765eb2f0
11.6 MB
sha256:6cf33434c3d49a6f52d9660ce3dabc54f1aea629406ddfd7e93a695e974ec0d1
ubuntu-22.04_vector_artifact_net_a0383c894e40e84dfe46816e9c79a56e765eb2f0
14.4 MB
sha256:224a5fad11f2ab20a87c795475766baa585cdf55c7b0bed99a321cefca7bbcbb
ubuntu-22.04_vector_artifact_net_legacy_format_a0383c894e40e84dfe46816e9c79a56e765eb2f0
11.7 MB
sha256:74bc5b03e1ab985d8f1bf0ed1a3635bf502994e416a230967cdc00d514fcadef
ubuntu-22.04_vector_artifact_python_a0383c894e40e84dfe46816e9c79a56e765eb2f0
13.9 MB
sha256:e63888c94e816ddb6fdfe38b496e9ee5d063b6ec010244398ac120f801990acb
ubuntu-22.04_vector_artifact_python_legacy_format_a0383c894e40e84dfe46816e9c79a56e765eb2f0
11.3 MB
sha256:4aba82950ffd4bc1e8c737536cbf8d3c0ad9652695fbce2a0932690e0c5604eb
ubuntu-22.04_vector_artifact_python_mkp_legacy_format_a0383c894e40e84dfe46816e9c79a56e765eb2f0
11.3 MB
sha256:c50eb4671ee81fc802be03f2046c154ceb870ecb024253e65d9e6490b1d83e9d
ubuntu-22.04_vector_artifact_rust_a0383c894e40e84dfe46816e9c79a56e765eb2f0
14.4 MB
sha256:31e7bd972c936eb5770f30e345f91375d736659a6b5fb2ae77383dc5ab08c46e
ubuntu-22.04_vector_artifact_rust_legacy_format_a0383c894e40e84dfe46816e9c79a56e765eb2f0
11.7 MB
sha256:d9b6b859e66b33ea7802a240e38fb958189fa78af7245bf5ffe6738dc2f99fe7