From be0cc2b85878858e3890b46ad07f25148e730030 Mon Sep 17 00:00:00 2001 From: CAD97 Date: Thu, 19 Dec 2019 16:33:27 -0500 Subject: [PATCH] Configure bors --- .github/workflows/ci.yaml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 9d52092..0c6e063 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -126,17 +126,17 @@ jobs: args: setup - name: Test erased under miri - working-directory: ./crates/erased + working-directory: ./pointer-utils/crates/erased run: cargo miri test - name: Test ptr-union under miri - working-directory: ./crates/ptr-union + working-directory: ./pointer-utils/crates/ptr-union run: cargo miri test - name: Test rc-borrow under miri - working-directory: ./crates/rc-borrow + working-directory: ./pointer-utils/crates/rc-borrow run: cargo miri test - name: Test rc-box under miri - working-directory: ./crates/rc-box + working-directory: ./pointer-utils/crates/rc-box run: cargo miri test