From d9f517329753639f0ff38d427d5c781f446dcd57 Mon Sep 17 00:00:00 2001 From: Simmo Saan Date: Wed, 24 Aug 2022 13:22:26 +0300 Subject: [PATCH] Fix regression cram tests in CI --- .github/workflows/locked.yml | 2 +- .github/workflows/unlocked.yml | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/locked.yml b/.github/workflows/locked.yml index c552e3f36b..d2d969c6e2 100644 --- a/.github/workflows/locked.yml +++ b/.github/workflows/locked.yml @@ -59,7 +59,7 @@ jobs: run: ruby scripts/update_suite.rb group apron-mukherjee -s - name: Test regression cram - run: opam exec -- dune runtest tests/extraction + run: opam exec -- dune runtest tests/regression - name: Test unit run: opam exec -- dune runtest unittest diff --git a/.github/workflows/unlocked.yml b/.github/workflows/unlocked.yml index 8813653ead..29e120c69b 100644 --- a/.github/workflows/unlocked.yml +++ b/.github/workflows/unlocked.yml @@ -84,7 +84,7 @@ jobs: run: ruby scripts/update_suite.rb group apron-mukherjee -s - name: Test regression cram - run: opam exec -- dune runtest tests/extraction + run: opam exec -- dune runtest tests/regression - name: Test unit run: opam exec -- dune runtest unittest @@ -163,7 +163,7 @@ jobs: run: ruby scripts/update_suite.rb group apron-mukherjee -s - name: Test regression cram - run: opam exec -- dune runtest tests/extraction + run: opam exec -- dune runtest tests/regression - name: Test unit run: opam exec -- dune runtest unittest