Skip to content

The small-step semantics of Imperative must have scoped var init, remove unlabeled exit from Core #3080

The small-step semantics of Imperative must have scoped var init, remove unlabeled exit from Core

The small-step semantics of Imperative must have scoped var init, remove unlabeled exit from Core #3080

Triggered via pull request May 13, 2026 18:31
@aqjune-awsaqjune-aws
synchronize #1141
Status Success
Total duration 27s
Artifacts

label-review-status.yml

on: pull_request_target
update-review-labels
17s
update-review-labels
Fit to window
Zoom out
Zoom in