Auto merge of #111780 - weiznich:diagnostic_namespace, r=petrochenkov #222

Sign in to view logs

Triggered via push July 28, 2023 20:11

flip1995

master

Status Skipped

Total duration 6s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: push

Matrix: auto

Matrix: try

Matrix: pr

bors build finished

bors build finished

bors build finished

bors build finished