Skip to content

feat: NodeJS and Browser benchmarks #1153

feat: NodeJS and Browser benchmarks

feat: NodeJS and Browser benchmarks #1153

Triggered via pull request April 22, 2026 22:44
Status Success
Total duration 1h 31m 23s
Artifacts 15

pull.yml

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

Annotations

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

Artifacts

Produced during runtime
Name Size Digest
ubuntu-22.04_vector_artifact
28.6 MB
sha256:77be683bc54dea5fc78e33c63800fa8490d0fe2fdef233088d5e27fcedd75f80
ubuntu-22.04_vector_artifact_c_ac66c1bb837a51bcd027fe5bc3f3f2608af678e3
2.41 MB
sha256:c21aa6230577248192c2ecf4fe48d4e594e664248fb3c829faa5c4dfd40a3d84
ubuntu-22.04_vector_artifact_go_ac66c1bb837a51bcd027fe5bc3f3f2608af678e3
14.4 MB
sha256:59bc1e1c4bdb1fc8ef9425980414f8382fb477bb74658d5098b430b1a2549717
ubuntu-22.04_vector_artifact_go_legacy_format_ac66c1bb837a51bcd027fe5bc3f3f2608af678e3
11.7 MB
sha256:3a0ee63a2e63cdef9ea040d3cb840ec93113f276c4c09728cf617838681f66b3
ubuntu-22.04_vector_artifact_java_ac66c1bb837a51bcd027fe5bc3f3f2608af678e3
13.9 MB
sha256:5ce5312c821624938eeaac586f5d1b18c4f4d41e18d8a58d5901fd7bf1d54b6a
ubuntu-22.04_vector_artifact_java_legacy_format_ac66c1bb837a51bcd027fe5bc3f3f2608af678e3
11.3 MB
sha256:272cfdf6155f804f87f517430a69e1146f69a5fa0b00343b26a9996f09bd8df4
ubuntu-22.04_vector_artifact_java_mkp_legacy_format_ac66c1bb837a51bcd027fe5bc3f3f2608af678e3
11.3 MB
sha256:0a8d650c1aa643f837a9e9306a02fb91a0b4f8f2e08c319a266727bde15a3a3e
ubuntu-22.04_vector_artifact_javascript_legacy_format_ac66c1bb837a51bcd027fe5bc3f3f2608af678e3
11.6 MB
sha256:c78d43d29b95fc170002ebada9c8609ac86a892ff3e2ffe4ce19a20d705d020c
ubuntu-22.04_vector_artifact_net_ac66c1bb837a51bcd027fe5bc3f3f2608af678e3
14.4 MB
sha256:b9d726607f07728d63d59e6b979701983f65e91cea662c78e8a11aece31ec467
ubuntu-22.04_vector_artifact_net_legacy_format_ac66c1bb837a51bcd027fe5bc3f3f2608af678e3
11.7 MB
sha256:9a3693705713ec4aaaaaa10a4282848396b6b1ff712b3849ac417e1c09e4f89c
ubuntu-22.04_vector_artifact_python_ac66c1bb837a51bcd027fe5bc3f3f2608af678e3
13.9 MB
sha256:9fead25f96df17957c788ae7545aa7e38381b634105060c18d074bd7a8ead932
ubuntu-22.04_vector_artifact_python_legacy_format_ac66c1bb837a51bcd027fe5bc3f3f2608af678e3
11.3 MB
sha256:8811ace47b045638dde139d298a7bf3ef8f4bee76c7402e8ad478eacc6b8565d
ubuntu-22.04_vector_artifact_python_mkp_legacy_format_ac66c1bb837a51bcd027fe5bc3f3f2608af678e3
11.3 MB
sha256:67f3e1892152a1c02c9abd9c735dc653d13403c57fef568342dc5098b78bbe68
ubuntu-22.04_vector_artifact_rust_ac66c1bb837a51bcd027fe5bc3f3f2608af678e3
14.4 MB
sha256:99089a71df28d5f4529d7513486e7b740b39e8bec5c94c6accbe7ca5f65eb912
ubuntu-22.04_vector_artifact_rust_legacy_format_ac66c1bb837a51bcd027fe5bc3f3f2608af678e3
11.7 MB
sha256:9d8a5aae4a49d94fdcee761ff8ad982f61dfc58324fb2705b9b5f87a7e237d78