Label PR based on Comment

chore: use `private` proof elaborator to remove `set_option backward.privateInPublic` #215018

Sign in to view logs

Triggered via pull request August 16, 2026 19:04

thorimur

submitted #42755

Status Success

Total duration 6s

Artifacts –

labels_from_comment.yml

on: pull_request_review