Type checker

argcheck: restrict the type of elements in a list #427

Sign in to view logs

Summary
Jobs
- pyright
Run details
- Usage
- Workflow file

Triggered via pull request October 24, 2023 04:56

njzjz

synchronize #179

njzjz:type-list

Status Success

Total duration 1m 17s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

pyright.yml

on: pull_request