Leonid Pliushch
|
41c529fd8c
|
Revert "CI: switch to Ubuntu 20.04 and don't use Docker image as build environment"
This reverts commit eaeb2e609e075adea6c3d783a258996517a83ac5.
|
2020-07-01 20:27:59 +03:00 |
|
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 |
|
Leonid Pliushch
|
922c90d7ba
|
CI: introduce weekly rebuilds of docker image
Docker image will be built & pushed every 7 days to ensure that
its packages are up-to-date.
|
2020-05-02 15:27:36 +03:00 |
|
Leonid Pliushch
|
b7611b8fc0
|
CI: do not treat usernames/logins as secrets
This causes logging issues where certain words like 'termux'
are censored. This breaks directory paths & urls.
|
2020-01-22 22:41:34 +02:00 |
|
Leonid Pliushch
|
c087460476
|
CI: setup Github Actions
|
2020-01-22 21:51:12 +02:00 |