Skip to content
Dafny Nightly

Dafny Nightly #411

Sign in to view logs

Dafny Nightly

Dafny Nightly #411

Triggered via schedule December 23, 2024 16:35
@texastonytexastony
⁠ 735f08c
mainline
Status Failure
Total duration 25m 52s
Artifacts –

nighly_dafny.yml

on: schedule
Matrix: dafny-nightly-net / testDotNet
Matrix: dafny-nightly-net / testVectors
Matrix: dafny-nightly-verification / verification
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

9 errors and 33 warnings
dafny-nightly-net / testVectors (TestVectors, macos-13)
Process completed with exit code 128.
dafny-nightly-net / testVectors (TestVectors, ubuntu-latest)
Process completed with exit code 2.
dafny-nightly-verification / verification (TestVectors, macos-13)
Request timeout: /dafny-lang/dafny/releases/download/nightly/dafny-nightly-2024-12-23-2a6f6db-x64-macos-11.zip
dafny-nightly-verification / verification (AwsEncryptionSDK, macos-13)
The job was canceled because "TestVectors_macos-13" failed.
dafny-nightly-net / testDotNet (AwsEncryptionSDK, ubuntu-latest)
Process completed with exit code 2.
dafny-nightly-rust / testRust (AwsEncryptionSDK, ubuntu-latest)
Request timeout: /dafny-lang/dafny/releases/download/nightly/dafny-nightly-2024-12-23-2a6f6db-x64-ubuntu-20.04.zip
dafny-nightly-rust / 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-rust / testVectors (TestVectors, macos-13)
Process completed with exit code 2.
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
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-rust / testVectors (TestVectors, macos-13)
Failed to download action 'https://api.github.com/repos/gradle/gradle-build-action/tarball/a8f75513eafdebd8141bd1cd4e30fcd194af8dfa'. Error: Operation timed out (api.github.com:443)
dafny-nightly-rust / testVectors (TestVectors, macos-13)
Back off 15.116 seconds before retry.
dafny-nightly-rust / testVectors (TestVectors, macos-13)
Failed to download action 'https://api.github.com/repos/gradle/gradle-build-action/tarball/a8f75513eafdebd8141bd1cd4e30fcd194af8dfa'. Error: Operation timed out (api.github.com:443)
dafny-nightly-rust / testVectors (TestVectors, macos-13)
Back off 23.588 seconds before retry.
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#L17433
Unreachable code detected
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17461
Unreachable code detected
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16324
Unreachable code detected
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16365
Unreachable code detected
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16658
Unreachable code detected
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16676
Unreachable code detected
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16694
Unreachable code detected
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#L17433
Unreachable code detected
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17461
Unreachable code detected
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16324
Unreachable code detected
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16493
Unreachable code detected
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16658
Unreachable code detected
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16676
Unreachable code detected
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16694
Unreachable code detected
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): AwsEncryptionSDK/runtimes/net/Examples/LimitEncryptedDataKeysExample.cs#L118
The variable 'ignore' is declared but never used
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): AwsEncryptionSDK/runtimes/net/Examples/NetV4_0_0Example.cs#L119
The variable 'ex' is declared but never used
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
dafny-nightly-rust / testRust (AwsEncryptionSDK, macos-13)
Failed to download action 'https://api.github.com/repos/gradle/gradle-build-action/tarball/a8f75513eafdebd8141bd1cd4e30fcd194af8dfa'. Error: Operation timed out (api.github.com:443)
dafny-nightly-rust / testRust (AwsEncryptionSDK, macos-13)
Back off 21.937 seconds before retry.
dafny-nightly-rust / testRust (AwsEncryptionSDK, macos-13)
Failed to download action 'https://api.github.com/repos/gradle/gradle-build-action/tarball/a8f75513eafdebd8141bd1cd4e30fcd194af8dfa'. Error: Operation timed out (codeload.github.com:443)
dafny-nightly-rust / testRust (AwsEncryptionSDK, macos-13)
Back off 22.774 seconds before retry.