Update README.md

mj-xmr · Sep 23, 2022 · 840d570 · 840d570
1 parent f9e49f8
commit 840d570
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -34,6 +34,7 @@ If the Reviewers are OK with the noise generated by a patch, then please at leas
 # CI
 There exists a CI script (`ci.sh`) in the main directory, which tests and lists all the available patches. 
 Finally it prints out a summary of patches, that can be applied to the current master and vice versa.
+The script is also being ran regularly by GitHub Actions.
 
 # Description of the patches