Skip to content

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

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

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

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

check-stage0.yml

on: pull_request
check-stage0-on-queue
44s
check-stage0-on-queue
Fit to window
Zoom out
Zoom in