Change for CI pipeline

Author: jserv

src/riscv.c

@@ -3,6 +3,8 @@
  * "LICENSE" for information on usage and redistribution of this file.
  */
 
+/* Changed for CI pipeline */
+
 #include <assert.h>
 #include <errno.h>
 #include <fcntl.h>