commit | 5ca54adca2b294d75d11fcd6108392c700b81cc0 | [log] [tgz] |
---|---|---|
author | Arjan Tijms <arjan.tijms@gmail.com> | Mon Jan 03 01:12:06 2022 +0100 |
committer | GitHub <noreply@github.com> | Mon Jan 03 01:12:06 2022 +0100 |
tree | c9bc9f37cd72a33a2bbf9399e621a5595f21a10c | |
parent | 0715c2053ff4d58851bb3e4749672e0ac0a0634c [diff] | |
parent | e8ba9f4722cd1bcfbfb5d5bce7ebd6c66e58f954 [diff] |
Merge pull request #23753 from arjantijms/rest_tck Add running of the REST TCK as an option