From d80dbdfccb2922e67bf0ec7a99e4d08a445e56ce Mon Sep 17 00:00:00 2001 From: Jaisurya Nanduri Date: Tue, 30 Jul 2024 23:27:18 +0000 Subject: [PATCH] Check with verify-rst-std --- .github/workflows/kani.yml | 3 +++ .github/workflows/rustc.yml | 3 +-- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml index f3a78fa6fc1b1..46769a9a878c0 100644 --- a/.github/workflows/kani.yml +++ b/.github/workflows/kani.yml @@ -34,5 +34,8 @@ jobs: path: verify-rust-std submodules: true + - name: Run ls + run: ls ./verify-rust-std/library + - name: Run Kani Script run: bash ./verify-rust-std/scripts/check_kani.sh ./verify-rust-std/ diff --git a/.github/workflows/rustc.yml b/.github/workflows/rustc.yml index aa1d4988187bd..f97a5534315b6 100644 --- a/.github/workflows/rustc.yml +++ b/.github/workflows/rustc.yml @@ -31,8 +31,7 @@ jobs: path: head - name: Run ls - run: ls ./head - + run: ls ./head/library - name: Run rustc script run: bash ./head/scripts/check_rustc.sh ./head