Skip to content

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

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

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

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

pr-body.yml

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