REVERT: Try something

pulp-platform · Aug 30, 2024 · 4faa3d4 · 4faa3d4
1 parent 0c11d5d
commit 4faa3d4
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/build-docker.yml b/.github/workflows/build-docker.yml
@@ -13,6 +13,8 @@ jobs:
     name: Deploy Docker image
     runs-on: ubuntu-22.04
     steps:
+      - name: Test
+        run: apt-cache verilator
       # Free up disk space on Github-hosted runner
       - name: Disk usage
         run: df -h