Skip to content
Dafny Nightly

Dafny Nightly #560

Sign in to view logs

Dafny Nightly

Dafny Nightly #560

Triggered via schedule January 25, 2025 16:36
@josecorellajosecorella
⁠ 01a9b92
main
Status Failure
Total duration 12m 26s
Artifacts –

nightly_dafny.yml

on: schedule
getVersion  /  getDafnyVersion
6s
getVersion / getDafnyVersion
Matrix: dafny-nightly-format / format_projects
Matrix: dafny-nightly-java / testJava
Matrix: dafny-nightly-net / testDotNet
Matrix: dafny-nightly-verification / verification
dafny-nightly-format  /  format_java_misc
15s
dafny-nightly-format / format_java_misc
Matrix: dafny-nightly-rust / testRust
Matrix: dafny-nightly-go / testGo
Matrix: dafny-nightly-python / testPython
cut-issue-on-failure
8s
cut-issue-on-failure
Fit to window
Zoom out
Zoom in

Annotations

76 errors and 12 warnings
dafny-nightly-format / format_projects (ComAmazonawsKms, ubuntu-22.04)
Process completed with exit code 2.
dafny-nightly-format / format_projects (ComAmazonawsDynamodb, ubuntu-22.04)
The job was canceled because "ComAmazonawsKms_ubuntu-22" failed.
dafny-nightly-java / testJava (AwsCryptographicMaterialProviders, ubuntu-22.04, 11)
Process completed with exit code 2.
dafny-nightly-java / testJava (AwsCryptographicMaterialProviders, ubuntu-22.04, 17)
Process completed with exit code 2.
dafny-nightly-java / testJava (ComAmazonawsDynamodb, ubuntu-22.04, 8)
Process completed with exit code 2.
dafny-nightly-format / format_projects (AwsCryptographicMaterialProviders, ubuntu-22.04)
The job was canceled because "ComAmazonawsKms_ubuntu-22" failed.
dafny-nightly-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, ubuntu-22.04)
Process completed with exit code 2.
dafny-nightly-format / format_projects (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04)
The job was canceled because "ComAmazonawsKms_ubuntu-22" failed.
dafny-nightly-java / testJava (ComAmazonawsDynamodb, ubuntu-22.04, 17)
Process completed with exit code 2.
dafny-nightly-java / testJava (AwsCryptographicMaterialProviders, ubuntu-22.04, 8)
Process completed with exit code 2.
dafny-nightly-java / testJava (ComAmazonawsDynamodb, ubuntu-22.04, 16)
Process completed with exit code 2.
dafny-nightly-java / testJava (ComAmazonawsKms, ubuntu-22.04, 16)
Process completed with exit code 2.
dafny-nightly-java / testJava (ComAmazonawsKms, ubuntu-22.04, 8)
Process completed with exit code 2.
dafny-nightly-format / format_projects (StandardLibrary, ubuntu-22.04)
The job was canceled because "ComAmazonawsKms_ubuntu-22" failed.
dafny-nightly-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04)
Process completed with exit code 2.
dafny-nightly-java / testJava (StandardLibrary, ubuntu-22.04, 17)
Process completed with exit code 2.
dafny-nightly-java / testJava (AwsCryptographyPrimitives, ubuntu-22.04, 8)
Process completed with exit code 2.
dafny-nightly-format / format_projects (AwsCryptographyPrimitives, ubuntu-22.04)
The job was canceled because "ComAmazonawsKms_ubuntu-22" failed.
dafny-nightly-java / testJava (AwsCryptographyPrimitives, ubuntu-22.04, 11)
Process completed with exit code 2.
dafny-nightly-java / testJava (ComAmazonawsDynamodb, ubuntu-22.04, 11)
Process completed with exit code 2.
dafny-nightly-java / testJava (AwsCryptographicMaterialProviders, ubuntu-22.04, 16)
Process completed with exit code 2.
dafny-nightly-java / testJava (StandardLibrary, ubuntu-22.04, 8)
Process completed with exit code 2.
dafny-nightly-java / testJava (AwsCryptographicMaterialProviders, macos-13, 17)
Process completed with exit code 2.
dafny-nightly-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04)
Process completed with exit code 2.
dafny-nightly-java / testJava (ComAmazonawsDynamodb, macos-13, 11)
Process completed with exit code 2.
dafny-nightly-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, ubuntu-22.04)
Process completed with exit code 2.
dafny-nightly-net / testDotNet (ComAmazonawsKms, 6.0.x, ubuntu-22.04)
Process completed with exit code 2.
dafny-nightly-java / testJava (ComAmazonawsKms, macos-13, 16)
Process completed with exit code 2.
dafny-nightly-java / testJava (AwsCryptographyPrimitives, ubuntu-22.04, 16)
Process completed with exit code 2.
dafny-nightly-java / testJava (AwsCryptographyPrimitives, macos-13, 8)
Process completed with exit code 2.
dafny-nightly-java / testJava (StandardLibrary, macos-13, 17)
Process completed with exit code 2.
dafny-nightly-java / testJava (StandardLibrary, ubuntu-22.04, 16)
Process completed with exit code 2.
dafny-nightly-java / testJava (ComAmazonawsKms, ubuntu-22.04, 11)
Process completed with exit code 2.
dafny-nightly-java / testJava (ComAmazonawsKms, ubuntu-22.04, 17)
Process completed with exit code 2.
dafny-nightly-java / testJava (StandardLibrary, macos-13, 8)
Process completed with exit code 2.
dafny-nightly-java / testJava (ComAmazonawsDynamodb, macos-13, 16)
Process completed with exit code 2.
dafny-nightly-net / testDotNet (StandardLibrary, 6.0.x, ubuntu-22.04)
Process completed with exit code 2.
dafny-nightly-verification / verification (AwsCryptographyPrimitives, macos-latest-large)
Process completed with exit code 2.
dafny-nightly-verification / verification (AwsCryptographyPrimitives, macos-latest-large)
Process completed with exit code 2.
dafny-nightly-java / testJava (ComAmazonawsKms, macos-13, 8)
Process completed with exit code 2.
dafny-nightly-java / testJava (AwsCryptographicMaterialProviders, macos-13, 8)
Process completed with exit code 2.
dafny-nightly-verification / verification (AwsCryptographicMaterialProviders, macos-latest-large)
Process completed with exit code 2.
dafny-nightly-verification / verification (AwsCryptographicMaterialProviders, macos-latest-large)
Process completed with exit code 2.
dafny-nightly-verification / verification (TestVectorsAwsCryptographicMaterialProviders, macos-latest-large)
Process completed with exit code 2.
dafny-nightly-verification / verification (TestVectorsAwsCryptographicMaterialProviders, macos-latest-large)
Process completed with exit code 2.
dafny-nightly-verification / verification (ComAmazonawsDynamodb, macos-latest-large)
Process completed with exit code 2.
dafny-nightly-verification / verification (ComAmazonawsDynamodb, macos-latest-large)
Process completed with exit code 2.
dafny-nightly-java / testJava (AwsCryptographyPrimitives, ubuntu-22.04, 17)
Process completed with exit code 2.
dafny-nightly-java / testJava (ComAmazonawsKms, macos-13, 17)
Process completed with exit code 2.
dafny-nightly-java / testJava (StandardLibrary, ubuntu-22.04, 11)
Process completed with exit code 2.
dafny-nightly-java / testJava (ComAmazonawsDynamodb, macos-13, 17)
Process completed with exit code 2.
dafny-nightly-java / testJava (StandardLibrary, macos-13, 11)
Process completed with exit code 2.
dafny-nightly-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-13)
Process completed with exit code 2.
dafny-nightly-java / testJava (ComAmazonawsKms, macos-13, 11)
Process completed with exit code 2.
dafny-nightly-java / testJava (StandardLibrary, macos-13, 16)
Process completed with exit code 2.
dafny-nightly-java / testJava (AwsCryptographyPrimitives, macos-13, 16)
Process completed with exit code 2.
dafny-nightly-verification / verification (StandardLibrary, macos-latest-large)
Process completed with exit code 2.
dafny-nightly-verification / verification (StandardLibrary, macos-latest-large)
Process completed with exit code 2.
dafny-nightly-java / testJava (AwsCryptographyPrimitives, macos-13, 11)
Process completed with exit code 2.
dafny-nightly-verification / verification (ComAmazonawsKms, macos-latest-large)
Process completed with exit code 2.
dafny-nightly-verification / verification (ComAmazonawsKms, macos-latest-large)
Process completed with exit code 2.
dafny-nightly-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-13)
Process completed with exit code 2.
dafny-nightly-java / testJava (AwsCryptographicMaterialProviders, macos-13, 16)
Process completed with exit code 2.
dafny-nightly-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-13)
Process completed with exit code 2.
dafny-nightly-net / testDotNet (StandardLibrary, 6.0.x, macos-13)
Process completed with exit code 2.
dafny-nightly-java / testJava (AwsCryptographyPrimitives, macos-13, 17)
Process completed with exit code 2.
dafny-nightly-java / testJava (AwsCryptographicMaterialProviders, macos-13, 11)
Process completed with exit code 2.
dafny-nightly-java / testJava (ComAmazonawsDynamodb, macos-13, 8)
Process completed with exit code 2.
dafny-nightly-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-13)
Process completed with exit code 2.
dafny-nightly-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-13)
Process completed with exit code 2.
dafny-nightly-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest)
Process completed with exit code 2.
dafny-nightly-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest)
Process completed with exit code 2.
dafny-nightly-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest)
Process completed with exit code 2.
dafny-nightly-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest)
Process completed with exit code 2.
dafny-nightly-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest)
Process completed with exit code 2.
dafny-nightly-net / testDotNet (StandardLibrary, 6.0.x, windows-latest)
Process completed with exit code 2.
dafny-nightly-go / testGo (AwsCryptographyPrimitives, 1.23, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.sum
dafny-nightly-go / testGo (ComAmazonawsKms, 1.23, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.sum
dafny-nightly-go / testGo (AwsCryptographyPrimitives, 1.23, macos-13)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.sum
dafny-nightly-go / testGo (ComAmazonawsDynamodb, 1.23, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.sum
dafny-nightly-go / testGo (ComAmazonawsKms, 1.23, macos-13)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.sum
dafny-nightly-go / testGo (ComAmazonawsDynamodb, 1.23, macos-13)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.sum
dafny-nightly-go / testGo (AwsCryptographicMaterialProviders, 1.23, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.sum
dafny-nightly-go / testGo (AwsCryptographicMaterialProviders, 1.23, macos-13)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.sum
dafny-nightly-go / testGo (StandardLibrary, 1.23, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.sum
dafny-nightly-go / testGo (StandardLibrary, 1.23, macos-13)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.sum
dafny-nightly-go / testGo (TestVectorsAwsCryptographicMaterialProviders, 1.23, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.sum
dafny-nightly-go / testGo (TestVectorsAwsCryptographicMaterialProviders, 1.23, macos-13)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.sum