2 Commits

Author	SHA1	Message	Date
Andrea Luzzardi	8d7d808024	temporarily disable the platform field. ... Need some more time to figure out the correct API. Signed-off-by: Andrea Luzzardi <aluzzardi@gmail.com>	2022-04-05 12:13:33 -07:00
Andrea Luzzardi	93d2224073	ci: move ci infra top-level ... Signed-off-by: Andrea Luzzardi <aluzzardi@gmail.com>	2022-04-04 18:06:54 -07:00