This repository has been archived on 2024-05-31. You can view files and clone it, but cannot push or open issues or pull requests.

Jens L 0c2e9234bf ci: use native caching (#2665) ... * ci: use native caching * migrate to actions * cleanup * migrate more		2022-04-04 14:02:10 +02:00
..
docker-setup	ci: use native caching (#2665)	2022-04-04 14:02:10 +02:00
setup	ci: use native caching (#2665)	2022-04-04 14:02:10 +02:00