| commit | 7dfb357280329a8bc963ef8c4b4480767e77df67 | [log] [tgz] |
|---|---|---|
| author | Victor Khimenko <khim@google.com> | Thu Jun 20 13:47:17 2024 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Thu Jun 20 13:47:17 2024 +0000 |
| tree | ee38d2d867ffd6017137944725d64448da6bcac3 | |
| parent | a19247bfb3abd57b4666ed1b6e459ce70727912d [diff] | |
| parent | 44d6b517f9f1126a6af140800e1cb5153ce7db88 [diff] |
Merge "Refactor verification of types." into main