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

Robin Mueller f626e33e72

simplify CI

2021-12-13 00:11:40 +01:00

..

workflows

simplify CI

2021-12-13 00:11:40 +01:00

bors.toml

added bors integration

2021-11-01 23:54:24 +01:00