Test dockerized pico (#141)

This commit is contained in:
Han
2025-09-18 14:09:33 +08:00
committed by GitHub
parent 9804776022
commit 3e4491d043
2 changed files with 18 additions and 2 deletions

View File

@@ -15,6 +15,6 @@ jobs:
with:
zkvm: pico
toolchain: nightly-2025-08-04
test_ere_dockerized: false
test_ere_dockerized: true
default_features: true
test_options: ''