Lint

Improve documentation of `OnTuplesSets`, `OnSetsDisjointSets`, `OnSetsTuples` #3889

Sign in to view logs

Re-run triggered May 6, 2026 15:17

fingolfin

#6370

lhsoicher:lhs/OnXY

Status Failure

Total duration 1m 0s

Artifacts –

lint.yml

on: pull_request

Annotations

1 error

Process completed with exit code 1.