Skip to content

Leave private traits' name out of scope #1735

Leave private traits' name out of scope

Leave private traits' name out of scope #1735

Triggered via pull request December 25, 2023 18:27
Status Success
Total duration 15s
Artifacts

ci.yml

on: pull_request
Minimal versions
0s
Minimal versions
Documentation
0s
Documentation
Miri
0s
Miri
Matrix: test
Fit to window
Zoom out
Zoom in