WIP

.github/workflows/main.yml

@@ -35,6 +35,13 @@ jobs:
     steps:
       - name: Checkout the repo
         uses: actions/checkout@v2
+      - name: Load cache
+        uses: actions/cache@v2
+        with:
+          key:
+            benchmarks
+          path: |
+            benchmarks
       - name: Get binaries
         uses: actions/download-artifact@v2
         with:
@@ -46,7 +53,6 @@ jobs:
       #     repo: LSOracle
       - name: Run synthesis
         run: |
-          find -name lsoracle
           cp lsoracle /usr/local/bin
           chmod +x /usr/local/bin/lsoracle
           mkdir -p /usr/local/share/lsoracle

Dockerfile.actions

@@ -4,6 +4,7 @@ RUN DEBIAN_FRONTEND=noninteractive apt-get update && \
         apt-get install -y --no-install-recommends\
         python3 \
         python3.9-distutils \
+        python3-pip \
         graphviz \
         libffi8ubuntu1 \
         zlib1g \
@@ -12,11 +13,10 @@ RUN DEBIAN_FRONTEND=noninteractive apt-get update && \
         libboost-python1.71.0 \
         libboost-program-options1.71.0 \
         libreadline8 \
-        python3-numpy \
-        python3-matplotlib \
         make \
         tcl && \
         apt-get clean
+RUN pip3 install matplotlib && pip3 install numpy
 
 FROM runtime as build