Size Labeler / Checker

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

Sign in to view logs

Triggered via pull request June 26, 2024 01:10

mkoeppe

synchronize #38277

Status Skipped

Total duration 2s

Artifacts –

pr-labeler.yml

on: pull_request_target