Backport

fix: hygiene for goals generated by `mvcgen` #13767

Sign in to view logs

Summary
Jobs
- Backport
Run details
- Usage
- Workflow file

Triggered via pull request October 1, 2025 15:02

sgraf812

closed #10639

Status Success

Total duration 20s

Artifacts –

backport.yml

on: pull_request_target