Skip to content

CI: replace ubuntu 18.04 w/ 20.04.#197

Merged
djc merged 1 commit intorustls:mainfrom cpu:cpu-rm-ubuntu-18.04Mar 15, 2023

Commits

Commits on Mar 15, 2023