Check whitespace

Add properties of non-divisibility to `Algebra.Properties.Magma.Divisibility` #652

Sign in to view logs

Triggered via pull request September 3, 2024 04:19

synchronize #2469

jamesmckinna:issue2306

Status Success

Total duration 17s

Artifacts –

whitespace.yml

on: pull_request

check-whitespace