Check awaiting-manual label

feat: lint coercions that are deprecated or banned in core #10375

Sign in to view logs

Triggered via pull request December 4, 2025 17:27

leanprover-community-bot

labeled #11511

paul/slices/subarraycopy

Status Success

Total duration 8s

Artifacts –

awaiting-manual.yml

on: pull_request

check-awaiting-manual