Skip to content
Type checker

Merge branch 'devel' into test-mix-idx-map #10

Sign in to view logs

Merge branch 'devel' into test-mix-idx-map

Merge branch 'devel' into test-mix-idx-map #10

Triggered via push August 31, 2024 10:34
@wanghan-iapcmwanghan-iapcm
pushed 9768040
test-mix-idx-map
Status Success
Total duration 27s
Artifacts –

pyright.yml

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