Label Checker

Rename `MultiUseSandbox` -> `Sandbox`, `UninitializedSandbox::evolve` -> `UninitializedSandbox::init` #2752

Sign in to view logs

Triggered via pull request August 6, 2025 15:28

jprendes

synchronize #762

jprendes:rename

Status Success

Total duration 9s

Artifacts –

PRLabelChecker.yml

on: pull_request