Skip to content
Dafny Nightly

Dafny Nightly #431

Sign in to view logs

Dafny Nightly

Dafny Nightly #431

Triggered via schedule January 12, 2025 16:34
@texastonytexastony
⁠ c3ba5e3
mainline
Status Failure
Total duration 27m 13s
Artifacts –

nighly_dafny.yml

on: schedule
Matrix: dafny-nightly-net / testDotNet
Matrix: dafny-nightly-net / testVectors
Matrix: dafny-nightly-verification / verification
Matrix: dafny-nightly-go / testGo
Matrix: dafny-nightly-rust / testRust
Matrix: dafny-nightly-rust / testVectors
cut-issue-on-failure
5s
cut-issue-on-failure
Fit to window
Zoom out
Zoom in

Annotations

18 errors and 29 warnings
dafny-nightly-net / testVectors (TestVectors, ubuntu-latest)
Process completed with exit code 2.
dafny-nightly-net / testDotNet (AwsEncryptionSDK, windows-latest)
Process completed with exit code 2.
dafny-nightly-net / testDotNet (AwsEncryptionSDK, ubuntu-latest)
Process completed with exit code 2.
dafny-nightly-rust / testVectors (TestVectors, ubuntu-latest)
Process completed with exit code 2.
dafny-nightly-rust / testVectors (TestVectors, macos-13)
Process completed with exit code 2.
dafny-nightly-rust / testRust (AwsEncryptionSDK, windows-latest)
[git, apply, -v, D:\a\aws-encryption-sdk-dafny\aws-encryption-sdk-dafny\AwsEncryptionSDK\codegen-patches\AwsEncryptionSdk\dotnet\dafny-4.9.0.patch]
dafny-nightly-rust / testRust (AwsEncryptionSDK, windows-latest)
Process completed with exit code 2.
dafny-nightly-net / testVectors (TestVectors, macos-13): mpl/AwsCryptographicMaterialProviders/runtimes/net/Extern/SynchronizedLocalCMC.cs#L10
The type or namespace name 'LocalCMC' does not exist in the namespace 'LocalCMC_Compile' (are you missing an assembly reference?)
dafny-nightly-net / testVectors (TestVectors, macos-13): mpl/AwsCryptographicMaterialProviders/runtimes/net/Extern/SynchronizedLocalCMC.cs#L11
The type or namespace name 'LocalCMC' does not exist in the namespace 'LocalCMC_Compile' (are you missing an assembly reference?)
dafny-nightly-net / testVectors (TestVectors, macos-13): mpl/AwsCryptographicMaterialProviders/runtimes/net/Extern/StormTrackingCMC.cs#L10
The type or namespace name 'StormTracker' does not exist in the namespace 'StormTracker_Compile' (are you missing an assembly reference?)
dafny-nightly-net / testVectors (TestVectors, macos-13): mpl/AwsCryptographicMaterialProviders/runtimes/net/Extern/StormTrackingCMC.cs#L12
The type or namespace name 'StormTracker' does not exist in the namespace 'StormTracker_Compile' (are you missing an assembly reference?)
dafny-nightly-net / testVectors (TestVectors, macos-13)
Process completed with exit code 2.
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): mpl/AwsCryptographicMaterialProviders/runtimes/net/Extern/StormTrackingCMC.cs#L10
The type or namespace name 'StormTracker' does not exist in the namespace 'StormTracker_Compile' (are you missing an assembly reference?)
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): mpl/AwsCryptographicMaterialProviders/runtimes/net/Extern/StormTrackingCMC.cs#L12
The type or namespace name 'StormTracker' does not exist in the namespace 'StormTracker_Compile' (are you missing an assembly reference?)
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): mpl/AwsCryptographicMaterialProviders/runtimes/net/Extern/SynchronizedLocalCMC.cs#L10
The type or namespace name 'LocalCMC' does not exist in the namespace 'LocalCMC_Compile' (are you missing an assembly reference?)
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): mpl/AwsCryptographicMaterialProviders/runtimes/net/Extern/SynchronizedLocalCMC.cs#L11
The type or namespace name 'LocalCMC' does not exist in the namespace 'LocalCMC_Compile' (are you missing an assembly reference?)
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13)
Process completed with exit code 2.
dafny-nightly-verification / verification (AwsEncryptionSDK, macos-13)
Process completed with exit code 2.
dafny-nightly-go / testGo (AwsEncryptionSDK, 1.23, ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
dafny-nightly-go / testGo (AwsEncryptionSDK, 1.23, ubuntu-latest)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-encryption-sdk-dafny/aws-encryption-sdk-dafny. Supported file pattern: go.sum
dafny-nightly-rust / testVectors (TestVectors, ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
dafny-nightly-go / testGo (AwsEncryptionSDK, 1.23, macos-13)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-encryption-sdk-dafny/aws-encryption-sdk-dafny. Supported file pattern: go.sum
dafny-nightly-go / testGo (TestVectors, 1.23, ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
dafny-nightly-go / testGo (TestVectors, 1.23, ubuntu-latest)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-encryption-sdk-dafny/aws-encryption-sdk-dafny. Supported file pattern: go.sum
dafny-nightly-net / testVectors (TestVectors, macos-13): mpl/StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
dafny-nightly-net / testVectors (TestVectors, macos-13): mpl/StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
dafny-nightly-net / testVectors (TestVectors, macos-13): mpl/StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
dafny-nightly-net / testVectors (TestVectors, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L12439
Unreachable code detected
dafny-nightly-net / testVectors (TestVectors, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L12467
Unreachable code detected
dafny-nightly-net / testVectors (TestVectors, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L11330
Unreachable code detected
dafny-nightly-net / testVectors (TestVectors, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L11371
Unreachable code detected
dafny-nightly-net / testVectors (TestVectors, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L11664
Unreachable code detected
dafny-nightly-net / testVectors (TestVectors, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L11682
Unreachable code detected
dafny-nightly-net / testVectors (TestVectors, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L11499
Unreachable code detected
dafny-nightly-go / testGo (TestVectors, 1.23, macos-13)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-encryption-sdk-dafny/aws-encryption-sdk-dafny. Supported file pattern: go.sum
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): mpl/StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): mpl/StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): mpl/StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L12439
Unreachable code detected
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L12467
Unreachable code detected
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L11499
Unreachable code detected
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L11330
Unreachable code detected
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L11540
Unreachable code detected
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L11664
Unreachable code detected
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L11682
Unreachable code detected
dafny-nightly-rust / testRust (AwsEncryptionSDK, ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
cut-issue-on-failure
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636