Skip to content

Run CI on all PRs.#8011

Merged
bors merged 1 commit intorust-lang:masterfrom
ehuss:pr-ci
Mar 17, 2020
Merged

Run CI on all PRs.#8011
bors merged 1 commit intorust-lang:masterfrom
ehuss:pr-ci

Commits

Commits on Mar 17, 2020