From cbd5414945b9c62cf41d97f4ca2f78d262fc34b3 Mon Sep 17 00:00:00 2001 From: Seyon Sivarajah Date: Fri, 11 Oct 2024 16:30:40 +0100 Subject: [PATCH] ci: install capnp in unsoundness check miri check currently failing because of this --- .github/workflows/unsoundness.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/unsoundness.yml b/.github/workflows/unsoundness.yml index 3d4491cf7..457376d5a 100644 --- a/.github/workflows/unsoundness.yml +++ b/.github/workflows/unsoundness.yml @@ -34,5 +34,7 @@ jobs: - uses: Swatinem/rust-cache@v2 with: prefix-key: v0-miri + - name: Install CapnProto + run: sudo apt-get install -y capnproto - name: Test with Miri run: cargo miri test