Add links

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](setup.sh) and [encode_ceno.sh](encode_ceno.sh).
+At the moment we only have a [simple CI](.github/workflows/) that checks formatting and `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.)