Re: [PATCH] CI: Print out unmigrated symbols when failing