.

Veridise · Aug 23, 2023 · 9a9b3df · 9a9b3df
1 parent 2aa6af2
commit 9a9b3df
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/.github/workflows/docker-image.yml b/.github/workflows/docker-image.yml
@@ -8,6 +8,14 @@ on:
   workflow_dispatch:
 
 jobs:
+  test:
+    runs-on: ubuntu-latest
+    container:
+      image: veridise/picus:git-latest
+    steps:
+      - uses: actions/checkout@v1
+      - run: ls /root/.local/share/racket/8.6/pkgs
+
   test-solve-with-z3:
     runs-on: ubuntu-latest
     container: