Michael Zhang 73a3c19ad5 just check out both repositories in the CI job		2022-01-10 16:57:59 -06:00
..
workflows	just check out both repositories in the CI job	2022-01-10 16:57:59 -06:00