Check for stage0 changes

feat: add decidable equality to `DTreeMap`/`TreeMap`/`TreeSet` and their extensional variants #25706

Sign in to view logs

Triggered via pull request December 10, 2025 17:59

wkrozowski

synchronize #11527

wkrozowski:wojciech/treemap_deceq

Status Success

Total duration 53s

Artifacts –

check-stage0.yml

on: pull_request

check-stage0-on-queue