tree 490b2d8618be91b1daad38ecdd5bdafd16884801
parent 3d3d6ed71b7319cbfdc7fe4ed53f79768653c7b2
author Sergiu Deitsch <sergiu.deitsch@gmail.com> 1646586033 +0100
committer Sergiu Deitsch <sergiu.deitsch@gmail.com> 1647211900 +0100

Add Github workflows

Change-Id: I74fc45784b1b1d20c22b9e983902aa69fbfa764f