Auto merge of #12601 - epage:tone, r=weihanglo #7836

Sign in to view logs

Triggered via push August 30, 2023 16:21

bors

auto-cargo

Status Success

Total duration 50m 57s

Artifacts –

main.yml

on: push

Matrix: test

check-version-bump

bors build finished

bors build finished