Check whitespace

[ refactor ] make `contradiction` and friends entirely definitionally proof-irrelevant #2135

Sign in to view logs

Triggered via pull request October 29, 2025 13:48

synchronize #2802

jamesmckinna:v3.0-contradiction

Status Success

Total duration 13s

Artifacts –

whitespace.yml

on: pull_request

check-whitespace