Skip to content
Snippets Groups Projects
user avatar
David Bauer authored
ubuntu-latest is now assigned to Ubuntu 20.04. As we use custom apt
sources for 18.04, pin to this version for now to fix the CI.
d9621048
History
Name Last commit Last update
..