Backport

refactor: give the `⦃ … ⦄` notation a single exceptional-postcondition slot #20276

Sign in to view logs

Triggered via pull request June 18, 2026 19:27

sgraf812

labeled #14114

Status Skipped

Total duration 7s

Artifacts –

backport.yml

on: pull_request_target