Fix Pico's docker test (#51)

Co-authored-by: kevaundray <kevtheappdev@gmail.com>

.github/workflows/test-openvm-docker.yml

@@ -1,4 +1,4 @@
-name: Check OpenVM Docker Image
+name: Test OpenVM (Docker)
 
 on:
   push:
@@ -7,10 +7,9 @@ on:
   pull_request:
     branches:
       - master
-  workflow_dispatch:
 
 jobs:
-  build_openvm_image:
+  test-openvm-via-docker-build:
     name: Build OpenVM Docker Image
     runs-on: ubuntu-latest
 
@@ -21,16 +20,14 @@ jobs:
       - name: Set up Docker Buildx
         uses: docker/setup-buildx-action@v3
 
-      - name: Build dependent Docker base image
+      - name: Build ere-base image
         run: |
           docker build \
-            --file docker/base/Dockerfile.base \
             --tag ere-base:latest \
-            .
+            --file docker/base/Dockerfile.base .
 
-      - name: Build OpenVM Docker image
+      - name: Build ere-builder-openvm image
         run: |
           docker build \
-            --file docker/openvm/Dockerfile \
-            --tag ere-builder-openvm-check:latest \
-            .
+            --tag ere-builder-openvm:latest \
+            --file docker/openvm/Dockerfile .

.github/workflows/test-pico-docker.yml

@@ -1,4 +1,4 @@
-name: Check Pico Docker Image
+name: Test Pico (Docker)
 
 on:
   push:
@@ -7,11 +7,9 @@ on:
   pull_request:
     branches:
       - master
-  workflow_dispatch:
 
 jobs:
-  build_pico_image:
-    if: ${{ false }} # See issue #49
+  test-pico-via-docker-build:
     name: Build Pico Docker Image
     runs-on: ubuntu-latest
 
@@ -22,16 +20,14 @@ jobs:
       - name: Set up Docker Buildx
         uses: docker/setup-buildx-action@v3
 
-      - name: Build dependent Docker base image
+      - name: Build ere-base image
         run: |
           docker build \
-            --file docker/base/Dockerfile.base \
             --tag ere-base:latest \
-            .
+            --file docker/base/Dockerfile.base .
 
-      - name: Build Pico Docker image
+      - name: Build ere-builder-pico image
         run: |
           docker build \
-            --file docker/pico/Dockerfile \
-            --tag ere-builder-pico-check:latest \
-            .
+            --tag ere-builder-pico:latest \
+            --file docker/pico/Dockerfile .

crates/zkvm-interface/src/input.rs

@@ -48,7 +48,7 @@ impl Input {
     }
 
     /// Iterate over the items
-    pub fn iter(&self) -> std::slice::Iter<InputItem> {
+    pub fn iter(&self) -> std::slice::Iter<'_, InputItem> {
         self.items.iter()
     }
 }

docker/pico/Dockerfile

@@ -29,6 +29,6 @@ COPY . .
 
 # Run tests
 RUN echo "Running tests for ere-pico library..." && \
-    cargo test --release -p ere-pico --lib -- --color always
+    cargo "+${PICO_TOOLCHAIN_VERSION}" test --release -p ere-pico --lib -- --color always
 
 CMD ["/bin/bash"]