Check whitespace

[ add ] `Relation.Nullary.Decidable.dec-yes-recompute` #1783

Sign in to view logs

Triggered via pull request June 25, 2025 14:08

synchronize #2738

jamesmckinna:refactor-recomputable

Status Success

Total duration 10s

Artifacts –

whitespace.yml

on: pull_request

check-whitespace