Skip to content

Better requirements + rename command to chai-lab #423

Better requirements + rename command to chai-lab

Better requirements + rename command to chai-lab #423

Triggered via pull request February 14, 2025 18:22
@wukevinwukevin
synchronize #304
kevin/misc
Status Success
Total duration 1m 8s
Artifacts

mypy.yml

on: pull_request
Fit to window
Zoom out
Zoom in