Label Pull Request

SM and SMZ3 option_definitions deprecation fix #3274

Sign in to view logs

Triggered via pull request May 24, 2024 20:04

lordlou

synchronize #3372

Status Success

Total duration 16s

Artifacts –

label-pull-requests.yml

on: pull_request_target

Apply content-based labels

Apply peer review label

Remove waiting-on labels