ae12994deb
CI: allow to purge old debfiles manually
2020-12-17 23:55:34 +02:00
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
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
0228ec2a86
CI: fix job name in repository_cleanup.yml
2020-02-06 21:10:54 +02:00
ae9856e038
CI: add script for automatic old versions cleanup
...
Expected to be automatically started at 02:00 every day. Will
go through all packages and remove versions that are no longer
needed.
Experimental, may cause metadata inconsistency until process is
finished.
2020-02-04 14:52:26 +02:00
Leonid Pliushch