Size Labeler / Checker

`is_NumberFieldElement`: Fix deprecation message #2612

Sign in to view logs

Triggered via pull request June 27, 2024 00:39

mkoeppe

ready_for_review #38286

Status Success

Total duration 1m 8s

Artifacts –

pr-labeler.yml

on: pull_request_target