Christoph Reiter 1462a34442 CI: use the staging repo ...

This should allow us to build against packages already merged
but not in the repo.

2021-02-28 15:00:20 +01:00

..

workflows

CI: use the staging repo

2021-02-28 15:00:20 +01:00