Skip to content

Timespinner: Make hidden options pickleables #7137

Timespinner: Make hidden options pickleables

Timespinner: Make hidden options pickleables #7137

Triggered via pull request October 14, 2024 10:20
@Jarno458Jarno458
synchronize #4050
Status Success
Total duration 16s
Artifacts

label-pull-requests.yml

on: pull_request_target
Apply content-based labels
4s
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