Build & Test using Conda

Deprecate `is_StringMonoidElement`, ... #11537

Sign in to view logs

Triggered via pull request June 26, 2024 06:59

mkoeppe

synchronize #38280

mkoeppe:is_AlphabeticStringMonoidElement_deprecation

Status Success

Total duration 1h 5m 3s

Artifacts –

ci-conda.yml

on: pull_request

Matrix: Conda