Type checker

argcheck: restrict the type of elements in a list (#179) #428

Sign in to view logs

Summary
Jobs
- pyright
Run details
- Usage
- Workflow file

Triggered via push October 25, 2023 08:04

master

Status Success

Total duration 1m 22s

Artifacts –

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

pyright.yml

on: push