pre-commit

extmod/modasyncio.c: remove push_head, push_sorted, pop_head #14668

Sign in to view logs

Triggered via pull request April 15, 2025 16:56

dhalbert

synchronize #10244

dhalbert:remove-obsolete-task-queue-ops

Status Success

Total duration 4m 1s

Artifacts –

pre-commit.yml

on: pull_request