From a33bf256c2fe547fbdc70dc7686548ca7e485d87 Mon Sep 17 00:00:00 2001
From: Manuel Carrasco <m.carrasco@imperial.ac.uk>
Date: Mon, 4 Dec 2023 19:11:23 +0000
Subject: [PATCH] Run the test cases in the Docker image.

---
 .github/workflows/docker.yml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
index c703e6401..b5971a652 100644
--- a/.github/workflows/docker.yml
+++ b/.github/workflows/docker.yml
@@ -7,5 +7,9 @@ jobs:
     runs-on: ubuntu-latest
     steps:
     - uses: actions/checkout@v3
+    - name: Set Timestamp Variable
+      run: echo "TIMESTAMP=$(date +%s)" >> $GITHUB_ENV
     - name: Build the Docker image
-      run: docker build . --file Dockerfile --tag triton-docker:$(date +%s)
+      run: docker build . --file Dockerfile --tag triton-docker:$TIMESTAMP
+    - name: Run test cases
+      run: docker run --entrypoint /bin/bash --rm triton-docker:$TIMESTAMP -c 'ctest --test-dir /tmp/triton-build/ --output-on-failure'
\ No newline at end of file