From 1f79d5762621b2b6e8e4570dc4d4c7545c19b077 Mon Sep 17 00:00:00 2001 From: Simon Dold Date: Sat, 13 Apr 2024 18:38:56 +0200 Subject: [PATCH] change dir before output --- .github/workflows/ubuntu.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/ubuntu.yml b/.github/workflows/ubuntu.yml index 90afcf8e57..684eaa46d0 100644 --- a/.github/workflows/ubuntu.yml +++ b/.github/workflows/ubuntu.yml @@ -168,10 +168,11 @@ jobs: - name: Run driver, translator and search tests run: | + cd .. pwd ls tree . -L 2 - cd misc/ + cd downward/misc/ tox -e driver,translator,search,parameters,autodoc - name: Run CPLEX tests