Closed thomas-fossati closed 2 years ago
Fix #3
Signed-off-by: Thomas Fossati thomas.fossati@arm.com
No worries about the failed push check, it's a persistent problem with the GitHub actions that I haven't investigated yet.
Fix #3
Signed-off-by: Thomas Fossati thomas.fossati@arm.com