aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows/metrics.yaml
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2021-02-17 13:17:15 +0000
committerGitHub <[email protected]>2021-02-17 13:17:15 +0000
commit056601b41fbc5208cae5d996ec7fd18526d79e41 (patch)
tree74ac5ee88df768a9b3011ac43a8bd26b074f35c0 /.github/workflows/metrics.yaml
parent5cd7a0f2c5a7948dcd6b1838e1497c560d5c65a1 (diff)
parent51dda8ea8e4e64b3ee5ed6971d3182f6b3df987f (diff)
Merge #7705
7705: Show hover info of the definition of ConstReference patterns instead of its type r=Veykril a=Veykril Closes #7671 bors r+ Co-authored-by: Lukas Wirth <[email protected]>
Diffstat (limited to '.github/workflows/metrics.yaml')
0 files changed, 0 insertions, 0 deletions