Skip to content

Switch to GitHub Actions.#1071

Merged
ehuss merged 1 commit intorust-lang:masterfrom
ehuss:github-actions
Oct 21, 2019
Merged

Switch to GitHub Actions.#1071
ehuss merged 1 commit intorust-lang:masterfrom
ehuss:github-actions

Commits

Commits on Oct 21, 2019