Skip to content

Use ubuntu-18.04 instead of ubuntu-16.04#1489

Merged
Thomasdezeeuw merged 1 commit intotokio-rs:masterfrom taiki-e:ubuntu-16.04Jun 9, 2021
+10-10

Commits

Commits on May 23, 2021