Skip to content
run mypy

Temporarily increase PI popularity window to 7 #30

Sign in to view logs

Temporarily increase PI popularity window to 7

Temporarily increase PI popularity window to 7 #30

Triggered via pull request January 18, 2024 19:48
@duynguyen158duynguyen158
opened #191
widen-pi-popularity-window
Status Success
Total duration 53s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

mypy.yml

on: pull_request
typecheck
44s
typecheck
Fit to window
Zoom out
Zoom in