Skip to content

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

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

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

Triggered via pull request June 18, 2026 19:27
@sgraf812sgraf812
opened #14114
Status Success
Total duration 5s
Artifacts

pr-body.yml

on: pull_request_target
check-pr-body
2s
check-pr-body
Fit to window
Zoom out
Zoom in