Check whitespace

Add `(Is)DecPreorder` to `Relation.Binary.*` #743

Sign in to view logs

Triggered via pull request October 4, 2024 09:06

synchronize #2488

jamesmckinna:DecPreorder

Status Success

Total duration 13s

Artifacts –

whitespace.yml

on: pull_request

check-whitespace