Skip to content

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

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, … #83

Annotations

1 warning

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