Build & Test using Conda

`is_NumberFieldElement`: Fix deprecation message #11544

Sign in to view logs

Triggered via pull request June 26, 2024 20:59

mkoeppe

opened #38286

mkoeppe:is_NumberFieldElement_fix_deprecation

Status Success

Total duration 1h 5m 17s

Artifacts –

ci-conda.yml

on: pull_request

Matrix: Conda