Link

Author: matthiasgoergens

README.md

@@ -45,7 +45,7 @@ Many flags are WIP. For temporary hacks, alter the code directly and recompile t
 
 # 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`.
+At the momnt we only have a simple CI that tests formatting ard `cargo check` and runs [setup.sh](setup.sh) and [encode_ceno.sh](encode_ceno.sh).
 
 TODO:
 - [ ] run tests in CI, too.  (That means we need to fix our tests.)