Dafny Nightly #376
texastonynighly_dafny.yml
on: schedule
Matrix: dafny-nightly-net / testDotNet
Matrix: dafny-nightly-verification / verification
Matrix: dafny-nightly-rust / testRust
cut-issue-on-failure
7s
Annotations
16 errors and 25 warnings
|
dafny-nightly-rust / testRust (macos-12)
The macOS-12 environment is deprecated, consider switching to macOS-13, macOS-14 (macos-latest) or macOS-15. For more details, see https://github.com/actions/runner-images/issues/10721
|
|
dafny-nightly-rust / testRust (macos-12)
GitHub Actions has encountered an internal error when running your job.
|
|
dafny-nightly-net / testDotNet (ubuntu-latest)
Process completed with exit code 128.
|
|
dafny-nightly-net / testDotNet (windows-latest)
Process completed with exit code 128.
|
|
dafny-nightly-rust / testRust (ubuntu-latest)
Process completed with exit code 128.
|
|
dafny-nightly-rust / testRust (windows-latest)
Process completed with exit code 128.
|
|
dafny-nightly-net / testDotNet (macos-13):
mpl/AwsCryptographyPrimitives/runtimes/net/Extern/AesKdfCtr.cs#L40
There is no argument given that corresponds to the required parameter 'alt__text' of 'Error_Opaque.Error_Opaque(object, ISequence<char>)'
|
|
dafny-nightly-net / testDotNet (macos-13):
mpl/AwsCryptographyPrimitives/runtimes/net/Extern/Random.cs#L37
There is no argument given that corresponds to the required parameter 'alt__text' of 'Error_Opaque.Error_Opaque(object, ISequence<char>)'
|
|
dafny-nightly-net / testDotNet (macos-13):
mpl/AwsCryptographyPrimitives/runtimes/net/Extern/Signature.cs#L62
There is no argument given that corresponds to the required parameter 'alt__text' of 'Error_Opaque.Error_Opaque(object, ISequence<char>)'
|
|
dafny-nightly-net / testDotNet (macos-13):
mpl/AwsCryptographyPrimitives/runtimes/net/Extern/Signature.cs#L140
There is no argument given that corresponds to the required parameter 'alt__text' of 'Error_Opaque.Error_Opaque(object, ISequence<char>)'
|
|
dafny-nightly-net / testDotNet (macos-13):
mpl/AwsCryptographyPrimitives/runtimes/net/Extern/Signature.cs#L189
There is no argument given that corresponds to the required parameter 'alt__text' of 'Error_Opaque.Error_Opaque(object, ISequence<char>)'
|
|
dafny-nightly-net / testDotNet (macos-13):
mpl/AwsCryptographyPrimitives/runtimes/net/Extern/ECDH.cs#L58
There is no argument given that corresponds to the required parameter 'alt__text' of 'Error_Opaque.Error_Opaque(object, ISequence<char>)'
|
|
dafny-nightly-net / testDotNet (macos-13):
mpl/AwsCryptographyPrimitives/runtimes/net/Extern/RSAEncryption.cs#L168
There is no argument given that corresponds to the required parameter 'alt__text' of 'Error_Opaque.Error_Opaque(object, ISequence<char>)'
|
|
dafny-nightly-net / testDotNet (macos-13):
mpl/AwsCryptographyPrimitives/runtimes/net/Extern/RSAEncryption.cs#L186
There is no argument given that corresponds to the required parameter 'alt__text' of 'Error_Opaque.Error_Opaque(object, ISequence<char>)'
|
|
dafny-nightly-net / testDotNet (macos-13):
mpl/AwsCryptographyPrimitives/runtimes/net/Extern/RSAEncryption.cs#L204
There is no argument given that corresponds to the required parameter 'alt__text' of 'Error_Opaque.Error_Opaque(object, ISequence<char>)'
|
|
dafny-nightly-net / testDotNet (macos-13):
mpl/AwsCryptographyPrimitives/runtimes/net/Extern/ECDH.cs#L123
There is no argument given that corresponds to the required parameter 'alt__text' of 'Error_Opaque.Error_Opaque(object, ISequence<char>)'
|
|
dafny-nightly-net / testDotNet (ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
dafny-nightly-net / testDotNet (ubuntu-latest)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, aws-actions/configure-aws-credentials@v2, actions/setup-dotnet@v3, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
dafny-nightly-net / testDotNet (windows-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
dafny-nightly-net / testDotNet (windows-latest)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, aws-actions/configure-aws-credentials@v2, actions/setup-dotnet@v3, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
dafny-nightly-rust / testRust (ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
dafny-nightly-rust / testRust (ubuntu-latest)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, aws-actions/configure-aws-credentials@v2, dafny-lang/[email protected], actions/setup-java@v3, gradle/gradle-build-action@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
dafny-nightly-rust / testRust (windows-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
dafny-nightly-rust / testRust (windows-latest)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, aws-actions/configure-aws-credentials@v2, dafny-lang/[email protected], actions/setup-java@v3, gradle/gradle-build-action@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
dafny-nightly-net / testDotNet (macos-13)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
dafny-nightly-net / testDotNet (macos-13)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, aws-actions/configure-aws-credentials@v2, actions/setup-dotnet@v3, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
dafny-nightly-net / testDotNet (macos-13):
mpl/StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
|
|
dafny-nightly-net / testDotNet (macos-13):
mpl/StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
|
|
dafny-nightly-net / testDotNet (macos-13):
mpl/StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dafny-nightly-verification / verification (TestVectors, macos-13)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
dafny-nightly-verification / verification (TestVectors, macos-13)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, actions/setup-dotnet@v3, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
dafny-nightly-verification / verification (AwsEncryptionSDK, macos-13)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
dafny-nightly-verification / verification (AwsEncryptionSDK, macos-13)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, actions/setup-dotnet@v3, dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
cut-issue-on-failure
The following actions use a deprecated Node.js version and will be forced to run on node20: aws-actions/configure-aws-credentials@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|