Skip to content
Rust

Remove usages of the notation Dot #1403

Sign in to view logs

Remove usages of the notation Dot

Remove usages of the notation Dot #1403

Triggered via pull request January 12, 2024 16:12
@clarusclarus
synchronize #443
guillaume-claret@remove-ambiguous-notation-dot
Status Success
Total duration 6m 2s
Artifacts –

rust.yml

on: pull_request
build
5m 54s
build
Fit to window
Zoom out
Zoom in

Annotations

11 warnings
build
The record Trait could not be defined as a primitive record.
build
The record Trait could not be defined as a primitive record.
build
The record Trait could not be defined as a primitive record.
build
The record Trait could not be defined as a primitive record.
build
The record Trait could not be defined as a primitive record.
build
The record Trait could not be defined as a primitive record.
build
The record Trait could not be defined as a primitive record.
build
The record Trait could not be defined as a primitive record.
build
The record Trait could not be defined as a primitive record.
build
The record Trait could not be defined as a primitive record.
build
Failed to remove 'http.https://github.com/.extraheader' from the git config