Label Pull Request

SM and SMZ3 option_definitions deprecation fix #3263

Sign in to view logs

Triggered via pull request May 24, 2024 01:46

lordlou

synchronize #3372

Status Success

Total duration 12s

Artifacts –

label-pull-requests.yml

on: pull_request_target

Apply content-based labels

Apply peer review label

Remove waiting-on labels