Static check with Pyright

Deprecate `is_Category`, `is_Endset`, `is_Homset`, `is_Parent`, `is_RingHomset`, `is_SimplicialComplexHomset` #400

Sign in to view logs

Summary
Jobs
- pyright
Run details
- Usage
- Workflow file

Triggered via pull request May 12, 2024 21:00

mkoeppe

synchronize #37922

mkoeppe:is_Category_deprecation

Status Cancelled

Total duration 29m 49s

Artifacts –

pyright.yml

on: pull_request

Annotations

2 errors

The run was canceled by @mkoeppe.

The operation was canceled.