Skip to content
Lint with Pyright

fix: cleanly destroy GUI when interrupted #37

Sign in to view logs

fix: cleanly destroy GUI when interrupted

fix: cleanly destroy GUI when interrupted #37

Triggered via push March 28, 2024 18:06
@thegamecracksthegamecracks
pushed 638034e
main
Status Success
Total duration 53s
Artifacts –

pyright-lint.yml

on: push
lint
41s
lint
Fit to window
Zoom out
Zoom in