Skip to content

ci: support optional jobs#143274

Merged
bors merged 1 commit intorust-lang:masterfrom
marcoieni:optional-jobs
Jul 2, 2025
Merged

ci: support optional jobs#143274
bors merged 1 commit intorust-lang:masterfrom
marcoieni:optional-jobs

Commits

Commits on Jul 1, 2025