Check awaiting-mathlib label

perf: annotate built-in functions with tagged_return #18236

Sign in to view logs

Triggered via pull request December 8, 2025 12:47

hargoniX

opened #11549

hbv/annotated_tagged_return

Status Success

Total duration 5s

Artifacts –

awaiting-mathlib.yml

on: pull_request

check-awaiting-mathlib