Merge commit 'a3126d581b6a872f0b8d5641f199fb233306e181'

This commit is contained in:
2023-10-10 19:37:39 +02:00
114 changed files with 2090 additions and 1653 deletions

View File

@ -15,9 +15,7 @@ sh_test(
args = ["$(locations %s)" % f for f in CIMPLE_FILES] + [
"-Wno-boolean-return",
"-Wno-callback-names",
"-Wno-callgraph",
"-Wno-enum-names",
"-Wno-type-check",
"+RTS",
"-N3",
"-RTS",