Learn more about cloning repositories
You have read-only access
[Conformance checking] Cleanup renaming check, fix a test.
