Auto merge of #116745 - RalfJung:intern-without-types, r=<try> #37041

Sign in to view logs

Triggered via push October 15, 2023 15:03

bors

try

Status Success

Total duration 1h 22m 23s

Artifacts –

ci.yml

on: push

Matrix: auto

Matrix: try

Matrix: pr

bors build finished

bors build finished

bors build finished

bors build finished