Skip to content

Timespinner: Make hidden options pickleables #7153

Timespinner: Make hidden options pickleables

Timespinner: Make hidden options pickleables #7153

Triggered via pull request October 15, 2024 12:43
@Jarno458Jarno458
synchronize #4050
Status Success
Total duration 18s
Artifacts

label-pull-requests.yml

on: pull_request_target
Apply content-based labels
5s
Apply content-based labels
Apply peer review label
0s
Apply peer review label
Remove waiting-on labels
0s
Remove waiting-on labels
Fit to window
Zoom out
Zoom in