Deprecate `is_ChowCycle`, `is_CohomologyClass`, `is_Divisor`, `is_ToricDivisor` #13841

Sign in to view logs

Summary
Jobs
- Lint
Run details
- Usage
- Workflow file

Triggered via pull request June 26, 2024 01:10

mkoeppe

synchronize #38277

mkoeppe:is_Divisor_deprecation

Status Success

Total duration 4m 25s

Artifacts –

lint.yml

on: pull_request