tree 27fa347ab7d36c25cc199600cc97647ffdedde34
parent 4453fb8fff50ec6b3732509f5d9fecef283befa7
author Larry Peterson <llp@cs.princeton.edu> 1698330267 -0700
committer Larry Peterson <llp@cs.princeton.edu> 1698959141 -0700

fix typos and link CI repo

Change-Id: I4b44e970099660b4524caa1398c0ccd6e7332575