From 5501a39b4d91f3c922da5aeae998442264d06194 Mon Sep 17 00:00:00 2001 From: Ivan Perez Date: Mon, 20 May 2024 15:59:35 +0000 Subject: [PATCH] Run docker --- .github/workflows/repo-ghc-8.6-cabal-2.4-ros.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/repo-ghc-8.6-cabal-2.4-ros.yml b/.github/workflows/repo-ghc-8.6-cabal-2.4-ros.yml index 10ac10f1..c44bde94 100644 --- a/.github/workflows/repo-ghc-8.6-cabal-2.4-ros.yml +++ b/.github/workflows/repo-ghc-8.6-cabal-2.4-ros.yml @@ -48,3 +48,5 @@ jobs: - name: Generate ROS app run: | ogma ros --app-target-dir demo --variable-db ogma-cli/examples/ros-copilot/vars-db --variable-file ogma-cli/examples/ros-copilot/variables --handlers-file ogma-cli/examples/ros-copilot/handlers + cd demo/ + docker build -t .