Skip to content

Auto merge of #134258 - bjorn3:no_public_specialization, r=<try> #53660

Auto merge of #134258 - bjorn3:no_public_specialization, r=<try>

Auto merge of #134258 - bjorn3:no_public_specialization, r=<try> #53660

Triggered via push December 13, 2024 14:06
Status Success
Total duration 1h 43m 58s
Billable time 1h 44m
Artifacts

ci.yml

on: push
Calculate job matrix
12s
Calculate job matrix
Matrix: job
bors build finished
12s
bors build finished
Fit to window
Zoom out
Zoom in

Annotations

12 warnings
Calculate job matrix
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
try - dist-x86_64-linux
elided lifetime has a name
try - dist-x86_64-linux
elided lifetime has a name
try - dist-x86_64-linux
elided lifetime has a name
try - dist-x86_64-linux
elided lifetime has a name
try - dist-x86_64-linux
elided lifetime has a name
try - dist-x86_64-linux
elided lifetime has a name
try - dist-x86_64-linux
elided lifetime has a name
try - dist-x86_64-linux
elided lifetime has a name
try - dist-x86_64-linux
elided lifetime has a name
try - dist-x86_64-linux
elided lifetime has a name
bors build finished
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636