Update README, too

Author: matthiasgoergens

README.md

@@ -42,3 +42,11 @@ Many flags are WIP. For temporary hacks, alter the code directly and recompile t
 #### Working with a different field
 
 #### Verify circuit using `spartan_parallel` (only supported in Curve25519)
+
+# Continuous Integration
+
+At the momnt we only have a simple CI that tests formatting ard `cargo check` and runs `setup.sh` and `encode_ceno.sh`.
+
+TODO:
+- [ ] run tests in CI, too.  (That means we need to fix our tests.)
+- [ ] reorganise the code, so that we only need a single `carge check` or `cargo test` instead of having to run that in a dozen different directories.