feat: introduce CancellationContext type for cancellation with context propagation
#18368
awaiting-mathlib.yml
on: pull_request
check-awaiting-mathlib
5s