Check for empty PR

fix: normalise `⊤` in `mvcgen'` #3366

Sign in to view logs

Triggered via pull request June 18, 2026 07:43

volodeyka

synchronize #14099

vova/strip-top

Status Success

Total duration 1m 34s

Artifacts –

check-empty-pr.yml

on: pull_request