Skip to content
type check

Merge branch 'main' into hint_priority #44

Sign in to view logs

Merge branch 'main' into hint_priority

Merge branch 'main' into hint_priority #44

Triggered via push September 18, 2024 21:54
@NewSoupViNewSoupVi
pushed e2ed25a
hint_priority
Status Success
Total duration 53s
Artifacts –

strict-type-check.yml

on: push
pyright
44s
pyright
Fit to window
Zoom out
Zoom in