Skip to content

Auto merge of #12280 - weihanglo:git-ref-ambiguity, r=ehuss #64

Auto merge of #12280 - weihanglo:git-ref-ambiguity, r=ehuss

Auto merge of #12280 - weihanglo:git-ref-ambiguity, r=ehuss #64

Triggered via push July 24, 2023 12:50
Status Cancelled
Total duration 40s
Artifacts

contrib.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

2 errors
deploy
The run was canceled by @weihanglo.
deploy
The operation was canceled.