Skip to content
type check

account for 'any' goal and fix overriding non-grub goals #7

Sign in to view logs

account for 'any' goal and fix overriding non-grub goals

account for 'any' goal and fix overriding non-grub goals #7

Triggered via push May 5, 2024 03:14
@qwintqwint
pushed 39a6a3e
hk_grub_hunt
Status Success
Total duration 56s
Artifacts –

strict-type-check.yml

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