From a13c3bd47d8df84da5483be2122d84ba89342cac Mon Sep 17 00:00:00 2001 From: Ralf Anton Beier Date: Mon, 11 May 2026 06:01:47 +0200 Subject: [PATCH] fix(ci): move Test + Clippy back to ubuntu-latest MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The smithy migration in #91 moved Test and Clippy to self-hosted rust-cpu runners. Both jobs build the entire workspace including synth-verify, which depends on z3-sys — a large C++ compile that fills the smithy runners' /tmp during code generation ("fatal error: No space left on device" on roughly half the z3 AST source files). Every PR opened after #91 landed has been hitting this. Reverting these two jobs to ubuntu-latest (which has ~14 GB /tmp) unblocks every open PR. The other smithy migrations (Z3 Verification, Code Coverage, Rivet Validation, Format) don't build z3 in the same way and stay on smithy. Once the smithy runner image gets a bigger /tmp partition (or libz3-dev preinstalled so z3-sys uses the system lib), move them back. --- .github/workflows/ci.yml | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 2d73897..30be9b2 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -12,7 +12,13 @@ env: jobs: test: name: Test - runs-on: [self-hosted, linux, x64, rust-cpu] + # NOTE: moved back to ubuntu-latest from [self-hosted, linux, x64, rust-cpu] + # because z3-sys's C++ build was exhausting the smithy runners' temp disk + # ("No space left on device" while compiling z3 AST sources). The Test job + # builds the entire workspace including synth-verify (which depends on z3), + # so the disk pressure is real. Once the smithy runners get a bigger /tmp + # we can move this back. + runs-on: ubuntu-latest env: RUSTFLAGS: -Dwarnings steps: @@ -33,7 +39,8 @@ jobs: clippy: name: Clippy - runs-on: [self-hosted, linux, x64, rust-cpu] + # Same reasoning as Test — z3-sys build exhausts the smithy runner's /tmp. + runs-on: ubuntu-latest steps: - uses: actions/checkout@v4 - uses: dtolnay/rust-toolchain@stable