Skip to content

[ refactor ] Redefine Relation.Binary.Definitions.Adjoint, plus knock-on Function.Consequences #1201

[ refactor ] Redefine Relation.Binary.Definitions.Adjoint, plus knock-on Function.Consequences

[ refactor ] Redefine Relation.Binary.Definitions.Adjoint, plus knock-on Function.Consequences #1201

Triggered via pull request February 21, 2025 12:37
Status Success
Total duration 19s
Artifacts

whitespace.yml

on: pull_request
check-whitespace
8s
check-whitespace
Fit to window
Zoom out
Zoom in