Backport

chore: remove `@[grind] from` Array.size_eq_zero_iff` #9973

Sign in to view logs

Summary
Jobs
- Backport
Run details
- Usage
- Workflow file

Triggered via pull request May 24, 2025 04:44

kim-em

closed #8461

Status Success

Total duration 11s

Artifacts –

backport.yml

on: pull_request_target