diff options
| author | Mike Schuchardt <mikes@lunarg.com> | 2021-07-21 10:16:15 -0700 |
|---|---|---|
| committer | Mike Schuchardt <mikes@lunarg.com> | 2021-07-21 11:21:37 -0700 |
| commit | a4ee3cacbb1c7a5104a6895890bbddcb0762fa80 (patch) | |
| tree | 5ed67a2aadfe6e1f60454c7f16aec7e523953b86 /scripts | |
| parent | ab751c36f0a6656d51080e204abab47f7faf2121 (diff) | |
| download | usermoji-a4ee3cacbb1c7a5104a6895890bbddcb0762fa80.tar.xz | |
ci: Add verification step for generated source
This check ensures that the committed generated source files match the
output of the committed generators. We used to have this check on
TravisCI, but it must have gotten lost in the transition to GitHub
Actions.
Change-Id: If6a27994b3bfe8dbd09a962d90cc0c528489bd93
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions