Skip to content

Merge remote-tracking branch 'origin/feat/end-char' into feat/end-char #295

Merge remote-tracking branch 'origin/feat/end-char' into feat/end-char

Merge remote-tracking branch 'origin/feat/end-char' into feat/end-char #295

Triggered via push May 31, 2024 17:35
Status Success
Total duration 26s
Artifacts

pyright.yml

on: push
Matrix: pyright
Fit to window
Zoom out
Zoom in

Annotations

5 warnings
pyright (3.8)
Input 'no-comments' has been deprecated with message: Use "annotate" instead.
pyright (3.9)
Input 'no-comments' has been deprecated with message: Use "annotate" instead.
pyright (3.12)
Input 'no-comments' has been deprecated with message: Use "annotate" instead.
pyright (3.11)
Input 'no-comments' has been deprecated with message: Use "annotate" instead.
pyright (3.10)
Input 'no-comments' has been deprecated with message: Use "annotate" instead.