Contrib Deploy

Auto merge of #12713 - weihanglo:label, r=arlosi #1596

Sign in to view logs

Summary
Jobs
- deploy
Run details
- Usage
- Workflow file

Triggered via push September 20, 2023 06:14

bors

master

Status Success

Total duration 23s

Artifacts –

contrib.yml

on: push