add comment about issue #4

japaric · japaric · commit 14dca0417db8 · 2018-07-12T13:34:28.000-05:00
diff --git a/libm/ci/script.sh b/libm/ci/script.sh
@@ -7,6 +7,9 @@ main() {
         cargo fmt
     fi
     cross test --target $TARGET --release
+
+    # TODO need to fix overflow issues (cf. issue #4)
+    # cross test --target $TARGET
 }
 
 main

Original file line number	Diff line number	Diff line change
`@@ -7,6 +7,9 @@ main() {`
`7`	`7`	`cargo fmt`
`8`	`8`	`fi`
`9`	`9`	`cross test --target $TARGET --release`
	`10`	`+`
	`11`	`+ # TODO need to fix overflow issues (cf. issue #4)`
	`12`	`+ # cross test --target $TARGET`
`10`	`13`	`}`
`11`	`14`
`12`	`15`	`main`