Deprecate `is_FunctionFieldElement`, `is_FunctionFieldElement` #14382

Sign in to view logs

Summary
Jobs
- Lint
Run details
- Usage
- Workflow file

Re-run triggered July 26, 2024 11:28

mkoeppe

#38289

mkoeppe:is_FunctionFieldElement_deprecation

Status Success

Total duration 4m 26s

Artifacts –

lint.yml

on: pull_request