From 47450f07648c2183d097c7074c37cf7b4d1dc0b5 Mon Sep 17 00:00:00 2001
From: Vishal Canumalla <vishalc@cs.washington.edu>
Date: Wed, 6 Dec 2023 19:30:11 -0800
Subject: [PATCH] fix path

---
 .github/workflows/tests.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
index 37e28397..0c411152 100644
--- a/.github/workflows/tests.yml
+++ b/.github/workflows/tests.yml
@@ -70,6 +70,8 @@ jobs:
           cd build &&
           cmake .. &&
           cmake --build . &&
+          popd &&
+          popd &&
           cp stp bin/stp &&
           sudo add-apt-repository -y ppa:sri-csl/formal-methods &&
           sudo apt-get update &&