nightly

fix: effect-stack validation and quantifier scope placement #1192

Sign in to view logs

Triggered via pull request July 6, 2026 05:04

zharinov

opened #552

fix/effect-stack-soundness

Status Success

Total duration 1m 52s

Artifacts –

nightly.yml

on: pull_request