Daily CI #273

Daily CI

Daily CI #273

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#L17594

Unreachable code detected

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

Unreachable code detected

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

Unreachable code detected

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

Unreachable code detected

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

Unreachable code detected

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

Unreachable code detected

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

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 28, 2025 in 1h 4m 54s

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Daily CI #273

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

Daily CI #273

Uh oh!

Jobs

Run details

Annotations

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

Re-running jobs...