Ai upgrade hyper #3916
Annotations
7 errors and 1 warning
|
Run cargo kani --solver cadical:
lading_payload/src/opentelemetry_log.rs#L115
no method named `encoded_len` found for struct `opentelemetry_proto::tonic::logs::v1::LogRecord` in the current scope
|
|
Run cargo kani --solver cadical:
lading_payload/src/opentelemetry_log.rs#L125
no method named `encode_to_vec` found for struct `opentelemetry_proto::tonic::collector::logs::v1::ExportLogsServiceRequest` in the current scope
|
|
Run cargo kani --solver cadical:
lading_payload/src/opentelemetry_metric.rs#L185
no method named `encoded_len` found for struct `opentelemetry_proto::tonic::metrics::v1::Metric` in the current scope
|
|
Run cargo kani --solver cadical:
lading_payload/src/opentelemetry_metric.rs#L194
no method named `encode_to_vec` found for struct `opentelemetry_proto::tonic::collector::metrics::v1::ExportMetricsServiceRequest` in the current scope
|
|
Run cargo kani --solver cadical:
lading_payload/src/opentelemetry_trace.rs#L124
no method named `encoded_len` found for struct `opentelemetry_proto::tonic::trace::v1::Span` in the current scope
|
|
Run cargo kani --solver cadical:
lading_payload/src/opentelemetry_trace.rs#L133
no method named `encode_to_vec` found for struct `opentelemetry_proto::tonic::collector::trace::v1::ExportTraceServiceRequest` in the current scope
|
|
Run cargo kani --solver cadical
Process completed with exit code 1.
|
|
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
Loading