Daily CI #276

Daily CI

Daily CI #276

Uh oh!

There was an error while loading. Please reload this page.

Summary
Jobs
Run details
- Usage
- Workflow file

Usage Workflow file

Annotations

13 warnings

Test TestVectors on .NET 6.0: submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18323

Unreachable code detected

Test TestVectors on .NET 6.0: submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18304

Unreachable code detected

Test TestVectors on .NET 6.0: submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18287

Unreachable code detected

Test TestVectors on .NET 6.0: submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18398

Unreachable code detected

Test TestVectors on .NET 6.0: submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17761

Unreachable code detected

Test TestVectors on .NET 6.0: submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17690

Unreachable code detected

Test TestVectors on .NET 6.0: submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17665

Unreachable code detected

Test TestVectors on .NET 6.0: submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16827

Unreachable code detected

Test TestVectors on .NET 6.0: submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18021

Unreachable code detected

Test TestVectors on .NET 6.0: submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17993

Unreachable code detected

Install Smithy-Dafny codegen dependencies

The `python-version` input is not set. The version of Python currently in `PATH` will be used.

Setup Docker

HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK is set: not checking for outdated dependents or dependents with broken linkage!

Setup Docker

HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK is set: not checking for outdated dependents or dependents with broken linkage!

daily-ci-net-test-vectors / testDotNet (TestVectors, 6.0.x, macos-13)

succeeded Jul 31, 2025 in 1h 27m 52s

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Daily CI #276

daily-ci-net-test-vectors / testDotNet (TestVectors, 6.0.x, macos-13)

Daily CI #276

Uh oh!

Jobs

Run details

Annotations

daily-ci-net-test-vectors / testDotNet (TestVectors, 6.0.x, macos-13)

Re-running jobs...