Skip to content

ci: add a pr builder to test tools when submodules are updated#62560

Merged
bors merged 1 commit intorust-lang:masterfrom
pietroalbini:tools-builders-on-prs
Jul 14, 2019
Merged

ci: add a pr builder to test tools when submodules are updated#62560
bors merged 1 commit intorust-lang:masterfrom
pietroalbini:tools-builders-on-prs

Commits

Commits on Jul 10, 2019