Skip to content
type check

Timespinner: migrate to new options api and correct random #2572

Sign in to view logs

Timespinner: migrate to new options api and correct random

Timespinner: migrate to new options api and correct random #2572

Triggered via pull request July 16, 2024 20:43
@Jarno458Jarno458
synchronize #2485
Jarno458:ts_new_options_api
Status Success
Total duration 58s
Artifacts –

strict-type-check.yml

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