Closed fritzalder closed 2 years ago
This PR moves the Sancus Core CI from Travis to GitHub actions
The CI seems to be set up correctly now but I'll leave this PR open so that someone else can double check whether I missed something.
merged, thanks @fritzalder ! :+1:
This PR moves the Sancus Core CI from Travis to GitHub actions