Leonid Pliushch 3d3868cf60 CI: switch to Ubuntu 20.04 and don't use Docker image as build environment ...

Note that ubuntu-20.04 is preview currently, as stated in https://help.github.com/en/actions/reference/virtual-environments-for-github-hosted-runners.

2020-07-01 14:48:24 +03:00

..

docker_image.yml

CI: switch to Ubuntu 20.04 and don't use Docker image as build environment

2020-07-01 14:48:24 +03:00

packages.yml

CI: switch to Ubuntu 20.04 and don't use Docker image as build environment

2020-07-01 14:48:24 +03:00

repology_metadata.yml

CI: switch to Ubuntu 20.04 and don't use Docker image as build environment

2020-07-01 14:48:24 +03:00

repository_cleanup.yml

CI: switch to Ubuntu 20.04 and don't use Docker image as build environment

2020-07-01 14:48:24 +03:00