Dafny Nightly #905
nighly_dafny.yml
on: schedule
getVersion
/
getDafnyVersion
13s
Matrix: dafny-nightly-go / testGo
Matrix: dafny-nightly-net / testDotNet
Matrix: dafny-nightly-net / testVectors
Matrix: dafny-nightly-verification / verification
Matrix: dafny-nightly-rust / testRust
Matrix: dafny-nightly-rust / testVectors
Matrix: dafny_nightly_backwards_interop_esdk / dafny-interop-net-test-vectors / decrypt_python_vectors
Matrix: dafny_nightly_backwards_interop_esdk / dafny-interop-net-test-vectors / generate_vectors
Matrix: dafny_nightly_backwards_interop_esdk / dafny-interop-net / testDotNet
Matrix: dafny_nightly_backwards_interop_esdk / dafny-nightly-go / testGo
Matrix: dafny_nightly_backwards_interop_mpl / dafny-interop-net-test-vectors / decrypt_python_vectors
Matrix: dafny_nightly_backwards_interop_mpl / dafny-interop-net-test-vectors / generate_vectors
Matrix: dafny_nightly_backwards_interop_mpl / dafny-interop-net / testDotNet
Matrix: dafny_nightly_backwards_interop_mpl / dafny-nightly-go / testGo
Matrix: dafny_nightly_backwards_interop_esdk / dafny-interop-net-test-vectors / decrypt_net_vectors_with_js
Matrix: dafny_nightly_backwards_interop_mpl / dafny-interop-net-test-vectors / decrypt_net_vectors_with_js
cut-issue-on-failure
7s
Annotations
53 errors and 49 warnings
|
dafny-nightly-verification / verification (AwsEncryptionSDK, macos-15)
Process completed with exit code 1.
|
|
dafny-nightly-verification / verification (AwsEncryptionSDK, macos-15)
Unexpected HTTP response: 404
|
|
dafny-nightly-verification / verification (TestVectors, macos-15)
The strategy configuration was canceled because "dafny-nightly-verification.verification.AwsEncryptionSDK_macos-15" failed
|
|
dafny-nightly-verification / verification (TestVectors, macos-15)
The operation was canceled.
|
|
dafny_nightly_backwards_interop_mpl / dafny-interop-net-test-vectors / decrypt_python_vectors (macos-15)
Process completed with exit code 1.
|
|
dafny_nightly_backwards_interop_mpl / dafny-interop-net-test-vectors / decrypt_python_vectors (macos-15)
Unexpected HTTP response: 404
|
|
dafny_nightly_backwards_interop_mpl / dafny-interop-net-test-vectors / decrypt_python_vectors (ubuntu-22.04)
The strategy configuration was canceled because "dafny_nightly_backwards_interop_mpl.dafny-interop-net-test-vectors.decrypt_python_vectors.macos-15" failed
|
|
dafny_nightly_backwards_interop_mpl / dafny-interop-net-test-vectors / decrypt_python_vectors (ubuntu-22.04)
The operation was canceled.
|
|
dafny_nightly_backwards_interop_mpl / dafny-interop-net-test-vectors / decrypt_python_vectors (windows-latest)
The strategy configuration was canceled because "dafny_nightly_backwards_interop_mpl.dafny-interop-net-test-vectors.decrypt_python_vectors.macos-15" failed
|
|
dafny_nightly_backwards_interop_mpl / dafny-interop-net-test-vectors / decrypt_python_vectors (windows-latest)
The operation was canceled.
|
|
dafny_nightly_backwards_interop_mpl / dafny-interop-net / testDotNet (macos-15)
Process completed with exit code 1.
|
|
dafny_nightly_backwards_interop_mpl / dafny-interop-net / testDotNet (macos-15)
Unexpected HTTP response: 404
|
|
dafny_nightly_backwards_interop_mpl / dafny-interop-net-test-vectors / generate_vectors (macos-15)
Process completed with exit code 1.
|
|
dafny_nightly_backwards_interop_mpl / dafny-interop-net-test-vectors / generate_vectors (macos-15)
Unexpected HTTP response: 404
|
|
dafny_nightly_backwards_interop_mpl / dafny-interop-net-test-vectors / generate_vectors (ubuntu-22.04)
The strategy configuration was canceled because "dafny_nightly_backwards_interop_mpl.dafny-interop-net-test-vectors.generate_vectors.macos-15" failed
|
|
dafny_nightly_backwards_interop_mpl / dafny-interop-net-test-vectors / generate_vectors (ubuntu-22.04)
The operation was canceled.
|
|
dafny_nightly_backwards_interop_mpl / dafny-interop-net / testDotNet (ubuntu-22.04)
Process completed with exit code 2.
|
|
dafny_nightly_backwards_interop_esdk / dafny-interop-net-test-vectors / decrypt_python_vectors (macos-15)
Process completed with exit code 1.
|
|
dafny_nightly_backwards_interop_esdk / dafny-interop-net-test-vectors / decrypt_python_vectors (macos-15)
Unexpected HTTP response: 404
|
|
dafny_nightly_backwards_interop_esdk / dafny-interop-net-test-vectors / generate_vectors (macos-15)
Process completed with exit code 1.
|
|
dafny_nightly_backwards_interop_esdk / dafny-interop-net-test-vectors / generate_vectors (macos-15)
Unexpected HTTP response: 404
|
|
dafny_nightly_backwards_interop_esdk / dafny-interop-net / testDotNet (macos-15)
Process completed with exit code 1.
|
|
dafny_nightly_backwards_interop_esdk / dafny-interop-net / testDotNet (macos-15)
Unexpected HTTP response: 404
|
|
dafny_nightly_backwards_interop_esdk / dafny-interop-net-test-vectors / decrypt_python_vectors (ubuntu-22.04)
The strategy configuration was canceled because "dafny_nightly_backwards_interop_esdk.dafny-interop-net-test-vectors.decrypt_python_vectors.macos-15" failed
|
|
dafny_nightly_backwards_interop_esdk / dafny-interop-net-test-vectors / decrypt_python_vectors (ubuntu-22.04)
The operation was canceled.
|
|
dafny_nightly_backwards_interop_esdk / dafny-interop-net-test-vectors / decrypt_python_vectors (windows-latest)
The strategy configuration was canceled because "dafny_nightly_backwards_interop_esdk.dafny-interop-net-test-vectors.decrypt_python_vectors.macos-15" failed
|
|
dafny_nightly_backwards_interop_esdk / dafny-interop-net-test-vectors / decrypt_python_vectors (windows-latest)
The operation was canceled.
|
|
dafny_nightly_backwards_interop_esdk / dafny-interop-net-test-vectors / generate_vectors (ubuntu-22.04)
The strategy configuration was canceled because "dafny_nightly_backwards_interop_esdk.dafny-interop-net-test-vectors.generate_vectors.macos-15" failed
|
|
dafny_nightly_backwards_interop_esdk / dafny-interop-net-test-vectors / generate_vectors (ubuntu-22.04)
The operation was canceled.
|
|
dafny_nightly_backwards_interop_mpl / dafny-nightly-go / testGo (TestVectors, 1.23, ubuntu-22.04)
Process completed with exit code 2.
|
|
dafny_nightly_backwards_interop_esdk / dafny-interop-net / testDotNet (ubuntu-22.04)
Process completed with exit code 2.
|
|
dafny_nightly_backwards_interop_mpl / dafny-interop-net / testDotNet (windows-latest)
Process completed with exit code 2.
|
|
dafny-nightly-go / testGo (AwsEncryptionSDK, 1.24, ubuntu-22.04)
Process completed with exit code 2.
|
|
dafny-nightly-go / testGo (AwsEncryptionSDK, 1.23, ubuntu-22.04)
Process completed with exit code 2.
|
|
dafny-nightly-net / testVectors (TestVectors, ubuntu-22.04)
Process completed with exit code 2.
|
|
dafny-nightly-net / testVectors (TestVectors, ubuntu-22.04)
[git, apply, -v, /home/runner/work/aws-encryption-sdk/aws-encryption-sdk/TestVectors/codegen-patches/TestVectors/dotnet/dafny-4.8.1.patch]
|
|
dafny-nightly-rust / testVectors (TestVectors, ubuntu-22.04)
Process completed with exit code 2.
|
|
dafny-nightly-rust / testVectors (TestVectors, ubuntu-22.04)
[git, apply, -v, /home/runner/work/aws-encryption-sdk/aws-encryption-sdk/TestVectors/codegen-patches/TestVectors/dotnet/dafny-4.8.1.patch]
|
|
dafny-nightly-go / testGo (AwsEncryptionSDK, 1.25, ubuntu-22.04)
Process completed with exit code 2.
|
|
dafny-nightly-go / testGo (TestVectors, 1.25, ubuntu-22.04)
Process completed with exit code 2.
|
|
dafny-nightly-go / testGo (TestVectors, 1.24, ubuntu-22.04)
Process completed with exit code 2.
|
|
dafny_nightly_backwards_interop_esdk / dafny-interop-net / testDotNet (windows-latest)
Process completed with exit code 2.
|
|
dafny-nightly-go / testGo (TestVectors, 1.23, ubuntu-22.04)
Process completed with exit code 2.
|
|
dafny_nightly_backwards_interop_esdk / dafny-nightly-go / testGo (TestVectors, 1.23, ubuntu-22.04)
Process completed with exit code 2.
|
|
dafny-nightly-rust / testRust (AwsEncryptionSDK, windows-latest)
Process completed with exit code 2.
|
|
dafny-nightly-rust / testRust (AwsEncryptionSDK, windows-latest)
[git, apply, -v, D:\a\aws-encryption-sdk\aws-encryption-sdk\mpl\AwsCryptographicMaterialProviders\codegen-patches\AwsCryptographyKeyStore\dotnet\dafny-4.9.0.patch]
|
|
dafny-nightly-rust / testRust (AwsEncryptionSDK, windows-latest)
[git, apply, -v, D:\a\aws-encryption-sdk\aws-encryption-sdk\mpl\AwsCryptographyPrimitives\codegen-patches\dotnet\dafny-4.9.0.patch]
|
|
dafny-nightly-rust / testRust (AwsEncryptionSDK, windows-latest)
[git, apply, -v, D:\a\aws-encryption-sdk\aws-encryption-sdk\mpl\AwsCryptographyPrimitives\codegen-patches\dotnet\dafny-4.9.0.patch]
|
|
dafny-nightly-net / testDotNet (AwsEncryptionSDK, windows-latest)
Process completed with exit code 2.
|
|
dafny-nightly-net / testDotNet (AwsEncryptionSDK, windows-latest)
[git, apply, -v, D:\a\aws-encryption-sdk\aws-encryption-sdk\mpl\AwsCryptographicMaterialProviders\codegen-patches\AwsCryptographyKeyStore\dotnet\dafny-4.9.0.patch]
|
|
dafny-nightly-net / testDotNet (AwsEncryptionSDK, windows-latest)
[git, apply, -v, D:\a\aws-encryption-sdk\aws-encryption-sdk\mpl\AwsCryptographyPrimitives\codegen-patches\dotnet\dafny-4.9.0.patch]
|
|
dafny-nightly-net / testDotNet (AwsEncryptionSDK, windows-latest)
[git, apply, -v, D:\a\aws-encryption-sdk\aws-encryption-sdk\mpl\AwsCryptographyPrimitives\codegen-patches\dotnet\dafny-4.9.0.patch]
|
|
dafny-nightly-net / testDotNet (AwsEncryptionSDK, ubuntu-22.04)
Process completed with exit code 2.
|
|
dafny-nightly-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/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/
|
|
dafny-nightly-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/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/
|
|
dafny_nightly_backwards_interop_mpl / dafny-interop-net-test-vectors / decrypt_python_vectors (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/
|
|
dafny_nightly_backwards_interop_mpl / dafny-interop-net-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 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/
|
|
dafny_nightly_backwards_interop_mpl / dafny-interop-net / testDotNet (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/
|
|
dafny_nightly_backwards_interop_mpl / dafny-interop-net-test-vectors / generate_vectors (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/
|
|
dafny_nightly_backwards_interop_mpl / dafny-interop-net-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/
|
|
dafny_nightly_backwards_interop_mpl / dafny-interop-net / testDotNet (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/
|
|
dafny_nightly_backwards_interop_mpl / dafny-interop-net / testDotNet (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.
|
|
dafny_nightly_backwards_interop_esdk / dafny-interop-net-test-vectors / decrypt_python_vectors (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/
|
|
dafny_nightly_backwards_interop_esdk / dafny-interop-net-test-vectors / decrypt_python_vectors (macos-15)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
|
|
dafny_nightly_backwards_interop_esdk / dafny-interop-net-test-vectors / generate_vectors (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/
|
|
dafny_nightly_backwards_interop_esdk / dafny-interop-net-test-vectors / generate_vectors (macos-15)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
|
|
dafny_nightly_backwards_interop_esdk / dafny-interop-net / testDotNet (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/
|
|
dafny_nightly_backwards_interop_esdk / dafny-interop-net / testDotNet (macos-15)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
|
|
dafny_nightly_backwards_interop_esdk / dafny-interop-net-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/
|
|
dafny_nightly_backwards_interop_esdk / dafny-interop-net-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.
|
|
dafny_nightly_backwards_interop_esdk / dafny-interop-net-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/
|
|
dafny_nightly_backwards_interop_esdk / dafny-interop-net-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/
|
|
dafny_nightly_backwards_interop_esdk / dafny-interop-net-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.
|
|
dafny_nightly_backwards_interop_mpl / dafny-nightly-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/
|
|
dafny_nightly_backwards_interop_mpl / dafny-nightly-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
|
|
dafny_nightly_backwards_interop_esdk / dafny-interop-net / testDotNet (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/
|
|
dafny_nightly_backwards_interop_esdk / dafny-interop-net / testDotNet (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.
|
|
dafny_nightly_backwards_interop_mpl / dafny-interop-net / testDotNet (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/
|
|
dafny_nightly_backwards_interop_mpl / dafny-interop-net / testDotNet (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.
|
|
dafny-nightly-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/
|
|
dafny-nightly-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
|
|
dafny-nightly-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/
|
|
dafny-nightly-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
|
|
dafny-nightly-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/
|
|
dafny-nightly-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/
|
|
dafny-nightly-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/
|
|
dafny-nightly-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
|
|
dafny-nightly-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/
|
|
dafny-nightly-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
|
|
dafny-nightly-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/
|
|
dafny-nightly-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
|
|
dafny_nightly_backwards_interop_esdk / dafny-interop-net / testDotNet (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/
|
|
dafny_nightly_backwards_interop_esdk / dafny-interop-net / testDotNet (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.
|
|
dafny-nightly-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/
|
|
dafny-nightly-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
|
|
dafny_nightly_backwards_interop_esdk / dafny-nightly-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/
|
|
dafny_nightly_backwards_interop_esdk / dafny-nightly-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
|
|
dafny-nightly-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/
|
|
dafny-nightly-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/
|
|
dafny-nightly-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/
|
|
cut-issue-on-failure
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: aws-actions/aws-secretsmanager-get-secrets@v2. 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/
|
|
dafny-nightly-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/
|