Skip to content

Make ui-fulldeps/gated-plugins and ui-fulldeps/multiple-plugins tests stage 2 only#99298

Merged
bors merged 1 commit intorust-lang:masterfrom
ChrisDenton:ignore-plugins-stage1
Jul 24, 2022
Merged

Make `ui-fulldeps/gated-plugins` and `ui-fulldeps/multiple-plugins` tests stage 2 only#99298
bors merged 1 commit intorust-lang:masterfrom
ChrisDenton:ignore-plugins-stage1

Commits

Commits on Jul 15, 2022