Check whitespace

[ add ] left- and right- actions induced by a `Magma` homomorphism #2227

Sign in to view logs

Triggered via pull request November 25, 2025 11:10

synchronize #2894

jamesmckinna:magma-morphism-actions

Status Success

Total duration 11s

Artifacts –

whitespace.yml

on: pull_request

check-whitespace