Merge commit 'a5093c4aa36d66049b6b5ca94e3b17412e77391b'

This commit is contained in:
2024-03-11 11:34:13 +01:00
20 changed files with 203 additions and 199 deletions

View File

@ -14,6 +14,7 @@ sh_test(
args = ["$(locations %s)" % f for f in CIMPLE_FILES] + [
"-Wno-boolean-return",
"-Wno-callback-names",
"-Wno-enum-from-int",
"+RTS",
"-N4",
"-RTS",