Skip to content

Dafny Interoperability Test #68

Dafny Interoperability Test

Dafny Interoperability Test #68

Manually triggered March 7, 2025 18:54
Status Failure
Total duration 9m 21s
Artifacts

dafny-interop.yml

on: workflow_dispatch
getMplHeadVersion  /  getMplHeadVersion
30s
getMplHeadVersion / getMplHeadVersion
Matrix: dafny-interop-net-examples / dotNetExamples
Matrix: dafny-interop-net-test-vectors / testDotNet
Matrix: dafny-interop-net / testDotNet
Matrix: dafny-interop-java-examples / testExamplesJava
Matrix: dafny-interop-java-test-vectors / testJava
Matrix: dafny-interop-java / testJava
Fit to window
Zoom out
Zoom in

Annotations

22 errors and 10 warnings
dafny-interop-net-examples / dotNetExamples (DynamoDbEncryption, 6.0.x, macos-13)
The process '/Users/runner/.dotnet/dotnet' failed with exit code 1
dafny-interop-net-examples / dotNetExamples (DynamoDbEncryption, 6.0.x, macos-13)
Process completed with exit code 1.
dafny-interop-net / testDotNet (DynamoDbEncryption, 6.0.x, macos-13)
The process '/Users/runner/.dotnet/dotnet' failed with exit code 1
dafny-interop-net / testDotNet (DynamoDbEncryption, 6.0.x, macos-13)
Process completed with exit code 1.
dafny-interop-net / testDotNet (DynamoDbEncryption, 6.0.x, windows-latest)
The job was canceled because "DynamoDbEncryption_6_0_x_" failed.
dafny-interop-net / testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-22.04)
The job was canceled because "DynamoDbEncryption_6_0_x_" failed.
dafny-interop-java-examples / testExamplesJava (8, macos-13)
The process '/Users/runner/.dotnet/dotnet' failed with exit code 1
dafny-interop-java-examples / testExamplesJava (8, macos-13)
Process completed with exit code 1.
dafny-interop-java / testJava (DynamoDbEncryption, 8, macos-13)
The process '/Users/runner/.dotnet/dotnet' failed with exit code 1
dafny-interop-java / testJava (DynamoDbEncryption, 8, macos-13)
Process completed with exit code 1.
dafny-interop-java / testJava (DynamoDbEncryption, 17, macos-13)
The job was canceled because "DynamoDbEncryption_8_maco" failed.
dafny-interop-java / testJava (DynamoDbEncryption, 16, macos-13)
The job was canceled because "DynamoDbEncryption_8_maco" failed.
dafny-interop-java / testJava (DynamoDbEncryption, 11, macos-13)
The job was canceled because "DynamoDbEncryption_8_maco" failed.
dafny-interop-net-test-vectors / testDotNet (TestVectors, 6.0.x, ubuntu-22.04): DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1274
There is no argument given that corresponds to the required parameter 'ReturnValuesOnConditionCheckFailure' of 'DeleteItemInput.DeleteItemInput(ISequence<char>, IMap<ISequence<char>, _IAttributeValue>, _IOption<IMap<ISequence<char>, _IExpectedAttributeValue>>, _IOption<_IConditionalOperator>, _IOption<_IReturnValue>, _IOption<_IReturnConsumedCapacity>, _IOption<_IReturnItemCollectionMetrics>, _IOption<ISequence<char>>, _IOption<IMap<ISequence<char>, ISequence<char>>>, _IOption<IMap<ISequence<char>, _IAttributeValue>>, _IOption<_IReturnValuesOnConditionCheckFailure>)'
dafny-interop-net-test-vectors / testDotNet (TestVectors, 6.0.x, ubuntu-22.04): DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1315
There is no argument given that corresponds to the required parameter 'ReturnValuesOnConditionCheckFailure' of 'ExecuteStatementInput.ExecuteStatementInput(ISequence<char>, _IOption<ISequence<_IAttributeValue>>, _IOption<bool>, _IOption<ISequence<char>>, _IOption<_IReturnConsumedCapacity>, _IOption<int>, _IOption<_IReturnValuesOnConditionCheckFailure>)'
dafny-interop-net-test-vectors / testDotNet (TestVectors, 6.0.x, ubuntu-22.04): DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1414
There is no argument given that corresponds to the required parameter 'ReturnValuesOnConditionCheckFailure' of 'PutItemInput.PutItemInput(ISequence<char>, IMap<ISequence<char>, _IAttributeValue>, _IOption<IMap<ISequence<char>, _IExpectedAttributeValue>>, _IOption<_IReturnValue>, _IOption<_IReturnConsumedCapacity>, _IOption<_IReturnItemCollectionMetrics>, _IOption<_IConditionalOperator>, _IOption<ISequence<char>>, _IOption<IMap<ISequence<char>, ISequence<char>>>, _IOption<IMap<ISequence<char>, _IAttributeValue>>, _IOption<_IReturnValuesOnConditionCheckFailure>)'
dafny-interop-net-test-vectors / testDotNet (TestVectors, 6.0.x, ubuntu-22.04): DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1660
There is no argument given that corresponds to the required parameter 'ReturnValuesOnConditionCheckFailure' of 'UpdateItemInput.UpdateItemInput(ISequence<char>, IMap<ISequence<char>, _IAttributeValue>, _IOption<IMap<ISequence<char>, _IAttributeValueUpdate>>, _IOption<IMap<ISequence<char>, _IExpectedAttributeValue>>, _IOption<_IConditionalOperator>, _IOption<_IReturnValue>, _IOption<_IReturnConsumedCapacity>, _IOption<_IReturnItemCollectionMetrics>, _IOption<ISequence<char>>, _IOption<ISequence<char>>, _IOption<IMap<ISequence<char>, ISequence<char>>>, _IOption<IMap<ISequence<char>, _IAttributeValue>>, _IOption<_IReturnValuesOnConditionCheckFailure>)'
dafny-interop-net-test-vectors / testDotNet (TestVectors, 6.0.x, ubuntu-22.04): DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L3973
There is no argument given that corresponds to the required parameter 'ReturnValuesOnConditionCheckFailure' of 'BatchStatementRequest.BatchStatementRequest(ISequence<char>, _IOption<ISequence<_IAttributeValue>>, _IOption<bool>, _IOption<_IReturnValuesOnConditionCheckFailure>)'
dafny-interop-net-test-vectors / testDotNet (TestVectors, 6.0.x, ubuntu-22.04): DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L4113
There is no argument given that corresponds to the required parameter 'ReturnValuesOnConditionCheckFailure' of 'ParameterizedStatement.ParameterizedStatement(ISequence<char>, _IOption<ISequence<_IAttributeValue>>, _IOption<_IReturnValuesOnConditionCheckFailure>)'
dafny-interop-net-test-vectors / testDotNet (TestVectors, 6.0.x, ubuntu-22.04): DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L4729
There is no argument given that corresponds to the required parameter 'Item' of 'BatchStatementError.BatchStatementError(_IOption<_IBatchStatementErrorCodeEnum>, _IOption<ISequence<char>>, _IOption<IMap<ISequence<char>, _IAttributeValue>>)'
dafny-interop-net-test-vectors / testDotNet (TestVectors, 6.0.x, ubuntu-22.04)
Process completed with exit code 1.