Skip to content

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

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

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

Triggered via pull request June 18, 2026 19:27
Status Success
Total duration 6s
Artifacts

pr-title.yml

on: pull_request
check-pr-title
4s
check-pr-title
Fit to window
Zoom out
Zoom in