Auto merge of #109590 - Nilstrieb:copy-hir, r=oli-obk #272

Sign in to view logs

Triggered via push April 24, 2023 10:34

davidtwco

master

Status Skipped

Total duration 7s

Artifacts –

ci.yml

on: push

Matrix: auto

Matrix: try

Matrix: pr

bors build finished

bors build finished

bors build finished

bors build finished