crater icon indicating copy to clipboard operation
crater copied to clipboard

craterbot: error with documented crate selection format

Open lqd opened this issue 5 years ago • 0 comments

Opening an issue as requested by @Mark-Simulacrum :

While launching a run on a limited selection of crates on this PR using the crates=list:link format documented here, the bot returned a "missing desired crates" error.

Note that using the (apparently undocumented ?) crates=link format worked fine, so I'm not sure if this is the only accepted format or if the documented format is not available in all comments shorthands, or if it's something else.

lqd avatar Aug 16 '20 15:08 lqd