Post PR summary comment

[Merged by Bors] - chore: rename `CompleteLattice.Independent`/`.SetIndependent` to `iSupIndep`/`sSupIndep` #33024

Sign in to view logs

Triggered via pull request November 23, 2024 16:19

YaelDillies

synchronize #19409

ssup_indep

Status Success

Total duration 50s

Artifacts –

PR_summary.yml

on: pull_request

post-or-update-summary-comment