Merge branch 'fix_win_ci_segfault' of github.com:pthom/FunctionalPlus into fix_win_ci_segfault

pthom · pthom · commit c9bb14747b92 · 2024-06-12T12:10:14.000+02:00
diff --git a/script/ci_run.sh b/script/ci_run.sh
@@ -1,5 +1,9 @@
 #!/bin/bash
 
+# Central script called by the CI
+# Usage: 
+#    ci_run.sh {run_build|run_tests}
+
 #
 #  Private Impl
 #

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,9 @@`
`1`	`1`	`#!/bin/bash`
`2`	`2`
	`3`	`+# Central script called by the CI`
	`4`	`+# Usage:`
	`5`	`+# ci_run.sh {run_build\|run_tests}`
	`6`	`+`
`3`	`7`	`#`
`4`	`8`	`# Private Impl`
`5`	`9`	`#`