Skip to content
Dafny Nightly

Dafny Nightly #405

Sign in to view logs

Dafny Nightly

Dafny Nightly #405

Triggered via schedule December 17, 2024 16:38
@texastonytexastony
⁠ 1c4d1c4
mainline
Status Failure
Total duration 31m 49s
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
cut-issue-on-failure
6s
cut-issue-on-failure
Fit to window
Zoom out
Zoom in

Annotations

9 errors and 34 warnings
dafny-nightly-net / testVectors (TestVectors, ubuntu-latest)
Process completed with exit code 2.
dafny-nightly-net / testDotNet (AwsEncryptionSDK, ubuntu-latest)
Process completed with exit code 2.
dafny-nightly-net / testDotNet (AwsEncryptionSDK, windows-latest)
Process completed with exit code 2.
dafny-nightly-rust / testRust (ubuntu-latest)
failed to resolve: use of undeclared crate or module `cpu_time`
dafny-nightly-rust / testRust (ubuntu-latest)
Process completed with exit code 101.
dafny-nightly-rust / testRust (windows-latest)
failed to resolve: use of undeclared crate or module `cpu_time`
dafny-nightly-rust / testRust (windows-latest)
Process completed with exit code 101.
dafny-nightly-rust / testRust (macos-13)
failed to resolve: use of undeclared crate or module `cpu_time`
dafny-nightly-rust / testRust (macos-13)
Process completed with exit code 101.
dafny-nightly-rust / testRust (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-net / testVectors (TestVectors, macos-13): mpl/StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
dafny-nightly-net / testVectors (TestVectors, macos-13): mpl/StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
dafny-nightly-net / testVectors (TestVectors, macos-13): mpl/StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
dafny-nightly-net / testVectors (TestVectors, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17365
Unreachable code detected
dafny-nightly-net / testVectors (TestVectors, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17393
Unreachable code detected
dafny-nightly-net / testVectors (TestVectors, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16454
Unreachable code detected
dafny-nightly-net / testVectors (TestVectors, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16495
Unreachable code detected
dafny-nightly-net / testVectors (TestVectors, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16619
Unreachable code detected
dafny-nightly-net / testVectors (TestVectors, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16637
Unreachable code detected
dafny-nightly-net / testVectors (TestVectors, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16285
Unreachable code detected
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16285
Unreachable code detected
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16619
Unreachable code detected
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16637
Unreachable code detected
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16326
Unreachable code detected
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16950
Unreachable code detected
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16454
Unreachable code detected
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16495
Unreachable code detected
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17023
Unreachable code detected
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17746
Unreachable code detected
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17635
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#L17365
Unreachable code detected
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17393
Unreachable code detected
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16454
Unreachable code detected
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16495
Unreachable code detected
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16619
Unreachable code detected
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16637
Unreachable code detected
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13): mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16950
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