lint and suggest

refactor(CategoryTheory): introduce ObjectProperty #85462

Sign in to view logs

Triggered via pull request February 25, 2025 20:55

joelriou

synchronize #22286

jriou-object-property

Status Success

Total duration 1m 22s

Artifacts –

lint_and_suggest_pr.yml

on: pull_request

Check all files imported