We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 4f53dd7 commit 79bec6dCopy full SHA for 79bec6d
1 file changed
.github/workflows/ci.yml
@@ -312,8 +312,9 @@ jobs:
312
},
313
{
314
"name": "Linux RelWithAssert",
315
- "os": "ubuntu-latest",
316
- "enabled": level >= 2,
+ // Started running out of disk on GitHub standard runners
+ "os": "nscloud-ubuntu-24.04-amd64-8x16",
317
+ "enabled": large && level >= 2,
318
"test": true,
319
"CMAKE_PRESET": "relwithassert",
320
// * `elab_bench/big_do` crashes with exit code 134
0 commit comments