commit | d7eaaa61c8223da1395fae3f8047adb9c663df55 | [log] [tgz] |
---|---|---|
author | aiuto <aiuto@google.com> | Wed Nov 02 22:34:15 2022 -0400 |
committer | GitHub <noreply@github.com> | Wed Nov 02 22:34:15 2022 -0400 |
tree | 6c143b3534f21f8ced7009609faf3c1cbefd3e7d | |
parent | 3e98225cee4e65bb890d6e1a47d40665de2e3232 [diff] |
Update README.md Restore CI widget
This repository contains a set of rules and tools for
WARNING: The code here is still in active initial development and will churn a lot.
If you want to follow along:
Background reading: These is for learning about the problem space, and our approach to solutions. Concrete specifications will always appear in checked in code rather than documents.