Skip to content
Type Checking

Eliminated the need to pass root window/id in EwmhWindow #15

Sign in to view logs

Eliminated the need to pass root window/id in EwmhWindow

Eliminated the need to pass root window/id in EwmhWindow #15

Triggered via push August 28, 2023 14:00
@KalmatKalmat
pushed c01c0b8
master
Status Success
Total duration 21s
Artifacts –

type-checking.yml

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