Skip to content

CI: remove ubuntu 18.04, debian stretch, centos 7; add ubuntu 22.04, … #86

CI: remove ubuntu 18.04, debian stretch, centos 7; add ubuntu 22.04, …

CI: remove ubuntu 18.04, debian stretch, centos 7; add ubuntu 22.04, … #86

Annotations

1 warning

The logs for this run have expired and are no longer available.