Skip to content

Use Ubuntu:22.04 as base image instead of lampepfl/dotty#176

Merged
WojciechMazur merged 2 commits intoVirtusLab:masterfrom WojciechMazur:builds/baseJul 6, 2023

Commits

Commits on Jul 6, 2023