Commit graph

2 commits

Author SHA1 Message Date
7edda5b75b
try using hydra.int.chir.rs 2023-04-09 16:15:01 +01:00
e5847d06d5
Add some CI 2023-04-09 14:18:53 +01:00