Skip to content

Switch the weekly CI run to Saturday as it is more conevenient for me#585

Merged
bors[bot] merged 1 commit intomasterfrom ciApr 1, 2023

Commits

Commits on Apr 1, 2023