[Merged by Bors] - feat: initial use of grind in category theory
#3318
kim-emactionlint.yml
on: pull_request
actionlint
14s
check workflows generated by build.in.yml
12s