Skip to content
PR CI

chore: Dafny test code changes for Python #1844

Sign in to view logs

chore: Dafny test code changes for Python

chore: Dafny test code changes for Python #1844

Re-run triggered June 3, 2025 20:48
@lucasmcdonald3lucasmcdonald3
#1911
python-dafny-changes
Status Success
Total duration 15m 59s
Artifacts –

pull.yml

on: pull_request
getVersion  /  getDafnyVersion
14s
getVersion / getDafnyVersion
getVerifyVersion  /  getDafnyVerifyVersion
10s
getVerifyVersion / getDafnyVerifyVersion
Matrix: pr-ci-codegen / code-generation
Matrix: pr-ci-format / format_projects
Matrix: pr-ci-java-examples / testJava
Matrix: pr-ci-java-test-vectors / testJava
Matrix: pr-ci-java / testJava
Matrix: pr-ci-net-examples / dotNetExamples
Matrix: pr-ci-net-test-vectors / testDotNet
Matrix: pr-ci-net / testDotNet
Matrix: pr-ci-rust / testRust
Matrix: pr-ci-test-vector-verification / verification
Matrix: pr-ci-verification / verification
pr-ci-all-required
5s
pr-ci-all-required
Fit to window
Zoom out
Zoom in

Annotations

8 warnings
pr-ci-java / testJava (DynamoDbEncryption, 8, macos-13)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-database-encryption-sdk-dynamodb/aws-database-encryption-sdk-dynamodb. Supported file pattern: go.sum
pr-ci-java / testJava (DynamoDbEncryption, 8, macos-13)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
pr-ci-java / testJava (DynamoDbEncryption, 17, macos-13)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-database-encryption-sdk-dynamodb/aws-database-encryption-sdk-dynamodb. Supported file pattern: go.sum
pr-ci-java / testJava (DynamoDbEncryption, 17, macos-13)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
pr-ci-java / testJava (DynamoDbEncryption, 16, macos-13)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-database-encryption-sdk-dynamodb/aws-database-encryption-sdk-dynamodb. Supported file pattern: go.sum
pr-ci-java / testJava (DynamoDbEncryption, 16, macos-13)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
pr-ci-java / testJava (DynamoDbEncryption, 11, macos-13)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-database-encryption-sdk-dynamodb/aws-database-encryption-sdk-dynamodb. Supported file pattern: go.sum
pr-ci-java / testJava (DynamoDbEncryption, 11, macos-13)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.