~singpolyma/sgx-aa 

Remove debug logs now that it work

Remove redundent check

Guix and CI

Initial commit