Skip to content

add docker and update CI to use it instead of ubuntu18 #36

add docker and update CI to use it instead of ubuntu18

add docker and update CI to use it instead of ubuntu18 #36

Annotations

5 warnings

This job succeeded