Re: [PATCH 1/4] CI: Fix unmigrated symbol test