This commit is contained in:
2025-02-27 22:52:23 +01:00
parent abe52b2b66
commit 1280e1fc20
8 changed files with 178 additions and 62 deletions

View File

@@ -142,7 +142,7 @@
pkgs.binaryen
];
env.RUST_LOG = "info,ascend=trace";
env.RUST_LOG = "info,ascend=debug";
env.MOONBOARD_PROBLEMS = "moonboard-problems";
};
};