Skip to content

Weaker interface for neutral conversion #519

Weaker interface for neutral conversion

Weaker interface for neutral conversion #519

Triggered via pull request January 23, 2024 12:00
Status Success
Total duration 6m 5s
Artifacts

build.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
build
Argument B was previously inferred to be in scope type_scope but is
build
Argument B was previously inferred to be in scope type_scope but is
build
Argument B was previously inferred to be in the empty scope stack