Skip to content

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

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

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

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

check-stdlib-flags.yml

on: pull_request_target
check-stdlib-flags
4s
check-stdlib-flags
Fit to window
Zoom out
Zoom in