[PATCH 2/7] CI: Update unmigrated symbol check