Commit Graph

1 Commits

Author SHA1 Message Date
Jörg Thalheim
6c808e409e
switch to buildbot (#192)
* drop bors

* switch to mergify

* flake: also check packages and devshells
2023-08-28 15:20:37 +01:00