Check awaiting-manual label

refactor: `HashMap`/`TreeMap` and their extensional variants to use `getElem` instance #10727

Sign in to view logs

Triggered via pull request December 10, 2025 09:44

wkrozowski

labeled #11578

wkrozowski:wojciech/getElem2

Status Success

Total duration 13m 43s

Artifacts –

awaiting-manual.yml

on: pull_request

check-awaiting-manual