Commit graph

2 commits

Author SHA1 Message Date
Dario Nieuwenhuis
6cb6e57592 CI fixes. 2023-05-29 18:49:50 +02:00
Dario Nieuwenhuis
7b2a39a6fb Switch to Bender for CI. 2023-05-29 18:15:53 +02:00