Skip to content
Post PR summary comment

chore(Algebra/Category): turn homs in AlgebraCat into a structure #32087

Sign in to view logs

chore(Algebra/Category): turn homs in AlgebraCat into a structure

chore(Algebra/Category): turn homs in AlgebraCat into a structure #32087

Triggered via pull request November 18, 2024 20:25
@chrisflavchrisflav
synchronize #19065
chrisflav-commringcat
Status Success
Total duration 51s
Artifacts –

PR_summary.yml

on: pull_request
build
42s
build
Fit to window
Zoom out
Zoom in