chore: CI: re-enable test header snapshots#14324

Kha merged 1 commit into

masterleanprover/lean4:masterfrom

push-okzorruypksuleanprover/lean4:push-okzorruypksuCopy head branch name to clipboard