From 100a1d6d14224b41f9bfa97bce53c5f0f62497e6 Mon Sep 17 00:00:00 2001 From: BowTiedRadone Date: Fri, 27 Dec 2024 19:39:59 +0200 Subject: [PATCH] Run CI example tests from the example folder --- .github/workflows/ci.yml | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index bd6f937..bcfd5a5 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -35,9 +35,10 @@ jobs: - name: Run example tests run: | - ./rv example counter test - ./rv example counter invariant - ./rv example cargo test - ./rv example cargo invariant - ./rv example reverse test - ./rv example slice test + cd example + ../rv . counter test + ../rv . counter invariant + ../rv . cargo test + ../rv . cargo invariant + ../rv . reverse test + ../rv . slice test