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