Check workflows

[Merged by Bors] - feat: use `grind` in `CategoryTheory.NatIso` #3319

Sign in to view logs

Triggered via pull request August 11, 2025 01:32

kim-em

synchronize #28065

kim-em:grind_cat2

Status Success

Total duration 17s

Artifacts –

actionlint.yml

on: pull_request

check workflows generated by build.in.yml