Leo a3b9760aca Port CI to Github Actions ... Most of the magic happens on the infra side: https://forge.certus.one/c/infra/+/2105 commit-id:66aa537b		2021-12-13 15:38:17 +01:00
..
build.yml	Port CI to Github Actions	2021-12-13 15:38:17 +01:00