Skip to content

CI: Use --all-targets and --workspace where possible#235

Merged
bors[bot] merged 1 commit intomasterfrom update-ciJan 4, 2021
+9-8

Commits

Commits on Jan 4, 2021