Have CI check if we need to commit regenerated archives

Have CI check if we need to commit regenerated archives #4772