Change for CI pipeline

sysprog21 · Jan 26, 2025 · 45ac5f0 · 45ac5f0 · jserv · Jan 26, 2025
1 parent 39e60f3
commit 45ac5f0
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/riscv.c b/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>