Skip to content
CI

When proving WellFormedTraitRef, require the parameters to be well-formed #513

Sign in to view logs

When proving WellFormedTraitRef, require the parameters to be well-formed

When proving WellFormedTraitRef, require the parameters to be well-formed #513

Triggered via pull request February 2, 2025 18:36
@matthewwmattheww
synchronize #190
mattheww:2025-01_well_formed_trait_ref
Status Success
Total duration 2m 45s
Artifacts –

ci.yaml

on: pull_request
Matrix: rust-test
Fit to window
Zoom out
Zoom in

Annotations

15 warnings
rust-test (ubuntu-latest): src/lib.rs#L4
unused `#[macro_use]` import
rust-test (ubuntu-latest)
`a-mir-formality` (lib) generated 1 warning
rust-test (ubuntu-latest): src/lib.rs#L4
unused `#[macro_use]` import
rust-test (ubuntu-latest)
`a-mir-formality` (lib) generated 1 warning
rust-test (ubuntu-latest)
`a-mir-formality` (lib test) generated 1 warning (1 duplicate)
rust-test (macos-latest): src/lib.rs#L4
unused `#[macro_use]` import
rust-test (macos-latest)
`a-mir-formality` (lib) generated 1 warning
rust-test (macos-latest)
`a-mir-formality` (lib test) generated 1 warning (1 duplicate)
rust-test (macos-latest): src/lib.rs#L4
unused `#[macro_use]` import
rust-test (macos-latest)
`a-mir-formality` (lib) generated 1 warning
rust-test (windows-latest): src/lib.rs#L4
unused `#[macro_use]` import
rust-test (windows-latest)
`a-mir-formality` (lib) generated 1 warning
rust-test (windows-latest): src/lib.rs#L4
unused `#[macro_use]` import
rust-test (windows-latest)
`a-mir-formality` (lib) generated 1 warning
rust-test (windows-latest)
`a-mir-formality` (lib test) generated 1 warning (1 duplicate)