Skip to content

Daily CI

Daily CI #365

Re-run triggered December 3, 2025 21:51
Status Success
Total duration 1h 4m 41s
Artifacts

daily_ci.yml

on: schedule
getVersion  /  getDafnyVersion
20s
getVersion / getDafnyVersion
getVerifyVersion  /  getDafnyVerifyVersion
17s
getVerifyVersion / getDafnyVerifyVersion
Matrix: daily-ci-codegen / code-generation
Matrix: daily-ci-format / format_projects
Matrix: daily-ci-java-examples / testJava
Matrix: daily-ci-java-test-vectors / testJava
Matrix: daily-ci-java / testJava
Matrix: daily-ci-net-examples / dotNetExamples
Matrix: daily-ci-net-test-vectors / testDotNet
Matrix: daily-ci-net / testDotNet
Matrix: daily-ci-rust / testRust
Matrix: daily-ci-test-vector-verification / verification
Matrix: daily-ci-verification / verification
notify  /  notify
notify / notify
Fit to window
Zoom out
Zoom in

Annotations

8 warnings
daily-ci-java-test-vectors / testJava (TestVectors, 19, macos-15-intel)
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
daily-ci-java-test-vectors / testJava (TestVectors, 19, macos-15-intel)
`$HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK` is set: not checking for outdated dependents or dependents with broken linkage!
daily-ci-java-test-vectors / testJava (TestVectors, 17, macos-15-intel)
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
daily-ci-java-test-vectors / testJava (TestVectors, 17, macos-15-intel)
`$HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK` is set: not checking for outdated dependents or dependents with broken linkage!
daily-ci-java-test-vectors / testJava (TestVectors, 8, macos-15-intel)
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
daily-ci-java-test-vectors / testJava (TestVectors, 8, macos-15-intel)
`$HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK` is set: not checking for outdated dependents or dependents with broken linkage!
daily-ci-java-test-vectors / testJava (TestVectors, 11, macos-15-intel)
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
daily-ci-java-test-vectors / testJava (TestVectors, 11, macos-15-intel)
`$HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK` is set: not checking for outdated dependents or dependents with broken linkage!