Commit Graph

2 Commits

Author SHA1 Message Date
Jörg Thalheim
a5f5d01ec1 fix mergify configuration 2024-04-23 11:31:27 +02:00
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